that points to the search engines of the wiki.
profileinfo.php
- Allow users to see the profiling information that are stored in the
- database.
-
- To save the profiling information in the database (required to use this
- script), you have to modify StartProfiler.php to use the Profiler class and
- not the stub profiler which is enabled by default.
- You will also need to set $wgProfiler['output'] to 'db' in LocalSettings.php
- 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 https://www.mediawiki.org/wiki/Manual:Profiling .
+ Simple interface for displaying request profiles that were stored in the
+ database. For more information, see the documentation in that file, and at
+ https://www.mediawiki.org/wiki/Manual:Profiling.
thumb.php
Script used to resize images if it is configured to be done when the web
browser requests the image and not when generating the page. This script can
be used as a 404 handler to generate image thumbs when they don't exist.
-
-There is also a file with a .php5 extension for each script. They can be used if
-the web server needs a .php5 to run the file with the PHP 5 engine and runs .php
-scripts with PHP 4. You should not use them anymore.