generateLocalAutoload.php: Abort for web requests
authorKevin Israel <pleasestand@live.com>
Fri, 14 Nov 2014 22:27:16 +0000 (17:27 -0500)
committerKevin Israel <pleasestand@live.com>
Fri, 14 Nov 2014 23:16:24 +0000 (18:16 -0500)
commit0a68289a8f726d06c775cda5745d5c213ab4468a
tree93adcd7a8e978eac57b645e8869a24f011535dfc
parent6ee5b825ccf3e64690e851f55905686edd39a450
generateLocalAutoload.php: Abort for web requests

The Maintenance class already does this, though this script does not use it
for the obvious reason that when there is a missing or incorrect autoloader
entry, it may not be possible to initialize MediaWiki.

Hence it is necessary to do that explicitly in this script. Overwriting
autoload.php potentially could disrupt the operation of a production wiki
(the file is truncated when it is opened).

Change-Id: I05d5d4b7c30c4643e71ca5819783627688e15da7
maintenance/generateLocalAutoload.php