* Profiler configuration.
*
* To use a profiler, set $wgProfiler in LocalSetings.php.
- * For backwards-compatibility, it is also allowed to set the variable from
- * a separate file called StartProfiler.php, which MediaWiki will include.
*
* Example:
*
* Extensions should add their messages here. The list is used for access control:
* changing messages listed here will require editsitecss and editsitejs rights.
*
+ * Message names must be given with underscores rather than spaces and with lowercase first letter.
+ *
* @since 1.32
* @var string[]
*/