| Index: trunk/phase3/maintenance/rebuildFileCache.php |
| — | — | @@ -31,7 +31,7 @@ |
| 32 | 32 | } |
| 33 | 33 | |
| 34 | 34 | public function execute() { |
| 35 | | - global $wgUseFileCache, $wgDisableCounters, $wgTitle, $wgArticle, $wgOut; |
| | 35 | + global $wgUseFileCache, $wgContentNamespaces, $wgDisableCounters, $wgTitle, $wgArticle, $wgOut; |
| 36 | 36 | if( !$wgUseFileCache ) { |
| 37 | 37 | $this->error( "Nothing to do -- \$wgUseFileCache is disabled.", true ); |
| 38 | 38 | } |