wikimedia/mediawiki-extensions-WikiEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor synced 2024-11-15 03:35:58 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-WikiEd.../includes
History
James D. Forrester c59430d243 Follow-up 874f9bfb8d: Bump server-side Edit schema version here 
We updated it in WikimediaEvents but not here. Whoops.

Bug: T203621
Change-Id: Ie84411bccd5322d6f228e8c905741368485b97d3
2018-09-14 17:22:14 -07:00
..
WikiEditorHooks.php Follow-up 874f9bfb8d: Bump server-side Edit schema version here 2018-09-14 17:22:14 -07:00