diff options
Diffstat (limited to 'docs/scripts.txt')
| -rw-r--r-- | docs/scripts.txt | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/docs/scripts.txt b/docs/scripts.txt index 2027d176e777..f8228a463ac3 100644 --- a/docs/scripts.txt +++ b/docs/scripts.txt @@ -35,9 +35,10 @@ Primary scripts: to force the profiler to save the informations in the database and apply the maintenance/archives/patch-profiling.sql patch to the database. - 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. + To enable the profileinfo.php itself, you'll need to create the + AdminSettings.php file (see AdminSettings.sample for more information) and + set $wgEnableProfileInfo to true in that file. See also + http://www.mediawiki.org/wiki/How_to_debug#Profiling. redirect.php Script that only redirect to the article passed in the wpDropdown parameter |