Add protection for User: JSON pages in the same manner as JS & CSS ones
authorJames D. Forrester <jforrester@wikimedia.org>
Tue, 13 Feb 2018 00:20:05 +0000 (16:20 -0800)
committerJforrester <jforrester@wikimedia.org>
Thu, 29 Mar 2018 14:33:46 +0000 (14:33 +0000)
commit2ae7d6b58035f038717d725efd493c4870337599
treef4fde31c2481a47c90d11a364c9b484dd5a05bf1
parentf66e75dd5a8c7d6a39b26ee75dfd04309d27a90f
Add protection for User: JSON pages in the same manner as JS & CSS ones

Also recognise MediaWiki: JSON pages (with the existing protection of
the editinterface right).

Bug: T76554
Change-Id: Idba166d82ee6dd507d7345c9bdbefc8ca78ed7b4
RELEASE-NOTES-1.31
includes/DefaultSettings.php
includes/EditPage.php
includes/Title.php
includes/actions/RawAction.php
includes/user/User.php
languages/i18n/en.json
languages/i18n/qqq.json
tests/phpunit/includes/TitleMethodsTest.php
tests/phpunit/includes/TitlePermissionTest.php