| Index: trunk/phase3/includes/EditPage.php |
| — | — | @@ -1394,7 +1394,7 @@ |
| 1395 | 1395 | } |
| 1396 | 1396 | |
| 1397 | 1397 | protected function showHeader() { |
| 1398 | | - global $wgOut, $wgParser, $wgUser, $wgMaxArticleSize, $wgLang; |
| | 1398 | + global $wgOut, $wgParser, $wgUser, $wgTitle, $wgMaxArticleSize, $wgLang; |
| 1399 | 1399 | if ( $this->isConflict ) { |
| 1400 | 1400 | $wgOut->wrapWikiMsg( "<div class='mw-explainconflict'>\n$1</div>", 'explainconflict' ); |
| 1401 | 1401 | $this->edittime = $this->mArticle->getTimestamp(); |