dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 38a0733) | patch
Improve profileinfo.php documentation
authorTimo Tijhof <krinklemail@gmail.com>
Fri, 17 Aug 2018 14:58:57 +0000 (15:58 +0100)
committerTimo Tijhof <krinklemail@gmail.com>
Fri, 17 Aug 2018 15:00:45 +0000 (16:00 +0100)
commit6ff469e57f663474d5f203b468b0eca9b88a4345
tree6f6a0616529fe1d8a0ed742de4881926af007924tree | snapshot
parent38a0733fef96fd2f837144293b902d2e0353c955commit | diff
Improve profileinfo.php documentation

* Move $wgEnableProfileInfo to DefaultSettings.php

* The configuration variable to enable the entry point was added
  together with the entry point itself in 9af3c09e5c (r9846).

* Change references to StartProfiler.php to refer to LocalSettings.php,
  given the former is deprecated since 1.31 (I4e8dd9558132).

Change-Id: I7ca5f2deace8645f06bebd915630c1de05c84bc5
docs/scripts.txt diff | blob | history
includes/DefaultSettings.php diff | blob | history
profileinfo.php diff | blob | history
Wiklou, le Wiki du Wiklou