wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-17 19:31:51 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../maintenance
History
Max Semenik 718e7107b8 Don't use Maintenance::$mDescription directly 
Change-Id: I8ec00d0e7b0105dd9d30602007bcc7aecc8ca089
2019-06-14 17:52:36 -07:00
..
AutodisableVisualEditorPref.php Don't use Maintenance::$mDescription directly 2019-06-14 17:52:36 -07:00