Do not allow a user to delete a page they can't edit
authorBrad Jorsch <bjorsch@wikimedia.org>
Sun, 10 Aug 2014 20:23:28 +0000 (21:23 +0100)
committerBrad Jorsch <bjorsch@wikimedia.org>
Sun, 10 Aug 2014 21:11:48 +0000 (22:11 +0100)
commit002a27790137e91b124ffeed6efc8dbe833e1dab
tree9ee0f3f8bbc346b70db325edf2c2601e46d435db
parent78f56b0753b6dc9683188c06601a7aa71e727f20
Do not allow a user to delete a page they can't edit

This was probably overlooked in the past because usually the only users
who can delete pages also have permission to edit the relevant
protection levels.

Change-Id: Ibe28a69c9fbab00b81c53b1643df722a3f1fbf19
includes/Title.php
includes/api/ApiBase.php
languages/i18n/en.json
languages/i18n/qqq.json