(Bug 41298) partial fix: re-applying Id7b331e1b
authordaniel <daniel.kinzler@wikimedia.de>
Wed, 24 Oct 2012 13:40:17 +0000 (15:40 +0200)
committerMarius Hoch <hoo@online.de>
Wed, 24 Oct 2012 13:53:06 +0000 (15:53 +0200)
commit691a1d3d5b1992fed4a341d61998c489913303c0
tree8778f8d27cdf4b9e9b9ea1ded3262a5150783670
parent1fc39609eb8e2eee31fdd49c7bb084557622f61e
(Bug 41298) partial fix: re-applying Id7b331e1b

Changes to EditPage.php apparently got lost during merge.
Wonder how that happened, there are no conflicts.

Change-Id: I5449d0331f5d60ed0296b69888e10272f47f9d42
includes/EditPage.php