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)
commitf7928ac36df614d8868d35d4d4486671761b5fd2
tree1ca308c6873818b25028e00e17df834cc05c4185
parentea60bd7c46f2ccc866829f06919ad87e5ca9de53
Fix missing globals

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

Change-Id: Icf8964b0fa0857a44814df3bb11eaf2907e9af56
includes/EditPage.php