mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-22 19:12:50 +00:00
e264dc238b
Bug: T181673 Change-Id: I661f1dcb85c360f7febd96d4d2fca825ba23b1e0 |
||
---|---|---|
.. | ||
AutodisableVisualEditorPref.php |