aboutsummaryrefslogtreecommitdiffstats
path: root/docs/distributors.txt
diff options
context:
space:
mode:
authorTimo Tijhof <krinklemail@gmail.com>2019-10-22 16:35:54 +0100
committerTimo Tijhof <krinklemail@gmail.com>2019-11-06 15:28:00 -0500
commit0da1ecfd89ec87af171c7bf7c09b1f80fbf461ed (patch)
treed69747eeaf449461bec5da5d358e66b2e564a04f /docs/distributors.txt
parent2c8c7f01bf74430fc8aa3a05709073f0a26383a1 (diff)
downloadmediawikicore-0da1ecfd89ec87af171c7bf7c09b1f80fbf461ed.tar.gz
mediawikicore-0da1ecfd89ec87af171c7bf7c09b1f80fbf461ed.zip
profiler: Remove ProfilerOutputDb and profileinfo.php entry point
Bug: T231366 Change-Id: I211c8192200d9af00914f9847608a6daf2898f91
Diffstat (limited to 'docs/distributors.txt')
-rw-r--r--docs/distributors.txt12
1 files changed, 6 insertions, 6 deletions
diff --git a/docs/distributors.txt b/docs/distributors.txt
index f2af4589372c..d6d2e831193c 100644
--- a/docs/distributors.txt
+++ b/docs/distributors.txt
@@ -58,8 +58,8 @@ If you really must mess around with the directory structure, note that the
following files *must* all be web-accessible for MediaWiki to function
correctly:
- * api.php, img_auth.php, index.php, load.php, opensearch_desc.php, thumb.php,
- profileinfo.php. These are the entry points for normal usage. This list may be
+ * api.php, img_auth.php, index.php, load.php, opensearch_desc.php, thumb.php.
+ These are the entry points for normal usage. This list may be
incomplete and is subject to change.
* mw-config/index.php: Used for web-based installation (sets up the database,
prompts for the name of the wiki, etc.).
@@ -113,16 +113,16 @@ intelligently:
== Updates ==
-The correct way for updating a wiki is to update the files and then run from
+The correct way for updating a wiki is to update the files and then run from
command line the maintenance/update.php script (with appropriate parameters if
-files were moved). It will perform all the needed steps to update the database
+files were moved). It will perform all the needed steps to update the database
schema and contents to the version from whatever old one it has.
Any package manager which replaces the files but doesn't update the db is leaving
-an inconsistent wiki that may produce blank pages (php errors) when new features
+an inconsistent wiki that may produce blank pages (php errors) when new features
using the changed schema would be used.
Since MediaWiki 1.17 it is possible to upgrade using the web installer by providing
-an arbitrary secret value stored as $wgUpgradeKey in LocalSettings (older versions
+an arbitrary secret value stored as $wgUpgradeKey in LocalSettings (older versions
needed to rename LocalSettings.php in order to upgrade using the installer).
== Documentation ==