diff --git a/inc/indexer.php b/inc/indexer.php index 05b08287209b2300032bb374d1a7fbd884683ab9..4dfaa33fb354bfa9afa189db8dd588e513c042ee 100644 --- a/inc/indexer.php +++ b/inc/indexer.php @@ -1196,8 +1196,8 @@ class Doku_Indexer { * @author Tom N Harris <tnharris@whoopdedo.org> */ function idx_get_indexer() { - static $Indexer = null; - if (is_null($Indexer)) { + global $Indexer; + if (!isset($Indexer)) { $Indexer = new Doku_Indexer(); } return $Indexer;