Fix missing globals
authorWMDE-Fisch <christoph.jauera@wikimedia.de>
Wed, 9 Nov 2016 16:48:12 +0000 (17:48 +0100)
committerWMDE-Fisch <christoph.jauera@wikimedia.de>
Wed, 9 Nov 2016 16:48:12 +0000 (17:48 +0100)
Apperently something went wrong when manual rebasing
If5909f7a16c98504e78388a5ea6c26196f82cd12 and went unnoticed.

Change-Id: Icf8964b0fa0857a44814df3bb11eaf2907e9af56

includes/EditPage.php

index 78ef2e3..3c47a3f 100644 (file)
@@ -2866,6 +2866,7 @@ class EditPage {
        }
 
        protected function showHeader() {
+               global $wgOut, $wgUser;
                global $wgAllowUserCss, $wgAllowUserJs;
 
                if ( $this->isConflict ) {