From 0a68289a8f726d06c775cda5745d5c213ab4468a Mon Sep 17 00:00:00 2001 From: Kevin Israel Date: Fri, 14 Nov 2014 17:27:16 -0500 Subject: [PATCH] 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 | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/maintenance/generateLocalAutoload.php b/maintenance/generateLocalAutoload.php index 78e66b7efa..5e4cac6fe3 100644 --- a/maintenance/generateLocalAutoload.php +++ b/maintenance/generateLocalAutoload.php @@ -1,5 +1,9 @@