While I understand that descriptive names currently shown in ManageWiki is newbie-friendly, power users might want to consult the manual on mediawiki.org directly, which uses the variable names (eg. $wgMetaNamespace). Adding the variable names would help those coming from the mediawiki.org manual to locate the configuration option (or find out that a certain configuration option is not supported) directly, without having to read through every option and guess if it's the same option that they just read on mediawiki.org.
Description
Description
Related Objects
Related Objects
- Mentioned In
- T5793: Add search feature in ManageWiki
Event Timeline
Herald added subscribers: RhinosF1, Void, Reception123, NDKilla. · View Herald TranscriptJun 22 2020, 00:262020-06-22 00:26:46 (UTC+0)
Void edited projects, added ManageWiki; removed MediaWiki.Jun 22 2020, 02:312020-06-22 02:31:24 (UTC+0)
Reception123 lowered the priority of this task from Normal to Low.Jun 22 2020, 06:182020-06-22 06:18:35 (UTC+0)
John claimed this task.