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)
committerTimo Tijhof <krinklemail@gmail.com>
Thu, 19 Apr 2018 00:11:23 +0000 (01:11 +0100)
commitde6dab71e3ea0166095b6c6e3837255d1e56b887
tree340044ffea6c89b31f80b3afe8068aa6d22f97fb
parent5155d0e0fd91f8ec614095e67ffe85e611190221
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
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