Remove $wgScriptExtension (deprecated and ignored since 1.25)
authorJames D. Forrester <jforrester@wikimedia.org>
Fri, 16 Feb 2018 22:03:44 +0000 (14:03 -0800)
committerJforrester <jforrester@wikimedia.org>
Thu, 19 Apr 2018 00:26:26 +0000 (00:26 +0000)
commit4e567efa64cb396503c5d9250d48c23a8f18f85d
tree3ff14132042776196e1c2af2fc22be2508245758
parent5f4a6e7f2a454eafd0c847afc1e9dc1594623ffa
Remove $wgScriptExtension (deprecated and ignored since 1.25)

* Remove left-over mention of the .php5 entry points in docs.

* Remove dead logic in NoLocalSettings for php5 entry points.

* Remove dead match in WebRequest for php5 entry points (they'd
  redirect since 1.25, and not seen by PHP).

Change-Id: Ia0ee8588591860b8fe34030c8503f38e9bce31f3
(cherry picked from commit de6dab71e3ea0166095b6c6e3837255d1e56b887)
RELEASE-NOTES-1.31
docs/scripts.txt
includes/DefaultSettings.php
includes/NoLocalSettings.php
includes/Setup.php
includes/WebRequest.php
includes/filerepo/FileRepo.php
includes/resourceloader/ResourceLoaderStartUpModule.php
includes/templates/NoLocalSettings.mustache
tests/phpunit/ResourceLoaderTestCase.php