From f7928ac36df614d8868d35d4d4486671761b5fd2 Mon Sep 17 00:00:00 2001
From: WMDE-Fisch <christoph.jauera@wikimedia.de>
Date: Wed, 9 Nov 2016 17:48:12 +0100
Subject: [PATCH] Fix missing globals

Apperently something went wrong when manual rebasing
If5909f7a16c98504e78388a5ea6c26196f82cd12 and went unnoticed.

Change-Id: Icf8964b0fa0857a44814df3bb11eaf2907e9af56
---
 includes/EditPage.php | 1 +
 1 file changed, 1 insertion(+)

diff --git a/includes/EditPage.php b/includes/EditPage.php
index 78ef2e32cb..3c47a3fd0d 100644
--- a/includes/EditPage.php
+++ b/includes/EditPage.php
@@ -2866,6 +2866,7 @@ class EditPage {
 	}
 
 	protected function showHeader() {
+		global $wgOut, $wgUser;
 		global $wgAllowUserCss, $wgAllowUserJs;
 
 		if ( $this->isConflict ) {
-- 
2.20.1