mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-15 03:35:58 +00:00
169d38fa75
Add the secondary label in a 'help' note to make it easier to identify the different editors. Bug: T32795 Change-Id: I6d17359166f58811ba99893ce4a4500a87deb827 |
||
---|---|---|
.. | ||
WikiEditorHooks.php |