(Bug 41178) Fix fatal in EditPage::displayPermissionsError.
authordaniel <daniel.kinzler@wikimedia.de>
Thu, 18 Oct 2012 17:17:03 +0000 (19:17 +0200)
committerdaniel <daniel.kinzler@wikimedia.de>
Thu, 18 Oct 2012 17:23:40 +0000 (19:23 +0200)
commitc5498c9aef032584b139bc483ee0c23b094f9fae
tree68f851826e5349e0714cb1634104f45f8c12dbdc
parent2e841888923910bacf5a58de384c1bdc0186906f
(Bug 41178) Fix fatal in EditPage::displayPermissionsError.

EditPage::displayPermissionsError did not check whether getContentObject
returns false.

While we are at it, making getEditText more robust.

Change-Id: I7d6297530f57949d4a66c663490449cbdb4acad8
includes/EditPage.php