wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-14 19:31:55 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-WikiEd.../includes
History
jenkins-bot e75c1a53b8 Merge "Re-label preference now that the 2006 wikitext editor doesn't exist"
2018-11-06 15:53:27 +00:00
..
WikiEditorHooks.php Merge "Re-label preference now that the 2006 wikitext editor doesn't exist" 2018-11-06 15:53:27 +00:00