Allow admins to delete user JS/CSS pages
authorGergő Tisza <tgr.huwiki@gmail.com>
Sun, 26 Aug 2018 22:51:55 +0000 (00:51 +0200)
committerGergő Tisza <gtisza@wikimedia.org>
Sun, 26 Aug 2018 22:57:58 +0000 (22:57 +0000)
commitef663e19efa75fd9bfd7d506872a264270406f0b
tree429d3b84fd0454b238e3cf2e091d6630e1b8caa6
parentd1be231540e053bda8e408ef844b4db0a77ba212
Allow admins to delete user JS/CSS pages

As it turns out this is super easy: we do require edit permissions
for some actions but not for delete, so it is enough to just
whitelist it.

Also fix SkinTemplate to not show the undelete action when the
user can undelete some pages but not the current one.

Bug: T200176
Change-Id: I0d326e6afde7ad2c9f7cb7f19ecc6c275c1ef65c
includes/Title.php
includes/skins/SkinTemplate.php