diff options
author | Waldir Pimenta <waldir@email.com> | 2013-02-15 07:31:48 +0000 |
---|---|---|
committer | Krinkle <krinklemail@gmail.com> | 2014-03-28 01:05:30 +0000 |
commit | 86a9b8c06c446d4afa688bc81832813e0f8e32df (patch) | |
tree | e0d883d685cc23f8f5e84f84348273a66ea10401 /index.php5 | |
parent | dc27e4cd0f74a09b95866de877011387c3f1b9e7 (diff) | |
download | mediawikicore-86a9b8c06c446d4afa688bc81832813e0f8e32df.tar.gz mediawikicore-86a9b8c06c446d4afa688bc81832813e0f8e32df.zip |
Clean up access points
* Harmonize spacing
* Use // for comments rather than #
* Harmonize call style for 'require', 'include' etc.
* Add missing profileinfo.php5
* Use "./" for path to api.php in api.php5 (to match other php5 files).
* Move documentation related to Setup.php from index.php to WebStart.php
* Remove "Initialise common code." comment in api.php (was already remove
in most entry points)
Change-Id: I8dc4a79fd13cee49e34f250a4039b3666bd42aca
Diffstat (limited to 'index.php5')
-rw-r--r-- | index.php5 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/index.php5 b/index.php5 index b3e40b67d345..b2ffe50863dc 100644 --- a/index.php5 +++ b/index.php5 @@ -1,7 +1,7 @@ <?php /** - * Version of index.php to used in web server requiring .php5 extension - * to execute scripts with PHP5 engine. + * Version of index.php to be used in web servers that require the .php5 + * extension to execute scripts with the PHP5 engine. * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by |