Update to MediaWiki 1.24.1

1 files changed, 4 insertions, 4 deletions

diff --git a/docs/scripts.txt b/docs/scripts.txt
index 0b8ee8f6..c6fa674c 100644
--- a/docs/scripts.txt
+++ b/docs/scripts.txt
@@ -9,16 +9,16 @@ Primary scripts:
 
   index.php
     Main access point. It handles the most of requests.
-    See http://www.mediawiki.org/wiki/Manual:Index.php
+    See https://www.mediawiki.org/wiki/Manual:Index.php
 
   api.php
     Script to provide an API for bots to fetch content and informations about
-    the site and also modify it. See http://www.mediawiki.org/wiki/API
+    the site and also modify it. See https://www.mediawiki.org/wiki/API
     for more informations.
 
   img_auth.php
     Script that only serve images to logged in users. To configure the wiki
-    to use that script, see http://www.mediawiki.org/wiki/Manual:Image_Authorisation.
+    to use that script, see https://www.mediawiki.org/wiki/Manual:Image_Authorisation.
 
   load.php
     Used by ResourceLoader to serve minified, concatenated and gzipped CSS and JS.
@@ -40,7 +40,7 @@ Primary scripts:
 
     To enable the profileinfo.php itself, you'll need to set $wgDBadminuser
     and $wgDBadminpassword in your LocalSettings.php, as well as $wgEnableProfileInfo 
-    See also http://www.mediawiki.org/wiki/How_to_debug#Profiling.
+    See also https://www.mediawiki.org/wiki/Manual:Profiling .
 
   thumb.php
     Script used to resize images if it is configured to be done when the web