| Index: trunk/phase3/maintenance/rebuildFileCache.php |
| — | — | @@ -32,7 +32,8 @@ |
| 33 | 33 | } |
| 34 | 34 | |
| 35 | 35 | public function execute() { |
| 36 | | - global $wgUseFileCache, $wgContentNamespaces, $wgDisableCounters, $wgTitle, $wgArticle, $wgOut; |
| | 36 | + global $wgUseFileCache, $wgDisableCounters, $wgContentNamespaces; |
| | 37 | + global $wgTitle, $wgArticle, $wgOut, $wgUser; |
| 37 | 38 | if( !$wgUseFileCache ) { |
| 38 | 39 | $this->error( "Nothing to do -- \$wgUseFileCache is disabled.", true ); |
| 39 | 40 | } |
| — | — | @@ -73,9 +74,11 @@ |
| 74 | 75 | $rebuilt = false; |
| 75 | 76 | $wgTitle = Title::makeTitleSafe( $row->page_namespace, $row->page_title ); |
| 76 | 77 | if( null == $wgTitle ) { |
| 77 | | - $this->output( "Page {$row->page_id} bad title\n" ); |
| | 78 | + $this->output( "Page {$row->page_id} has bad title\n" ); |
| 78 | 79 | continue; // broken title? |
| 79 | 80 | } |
| | 81 | + $wgOut->setTitle( $wgTitle ); // set display title |
| | 82 | + $wgUser->getSkin( $wgTitle ); // set skin title |
| 80 | 83 | $wgArticle = new Article( $wgTitle ); |
| 81 | 84 | // If the article is cacheable, then load it |
| 82 | 85 | if( $wgArticle->isFileCacheable() ) { |