mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-25 14:56:20 +00:00
4d7952d55c
* Remove VisualEditor namespace, and restrictions on it ** For MW.org these will be moved to mediawiki-config * Add $wgVisualEditorNamespaces * Add visualeditor-enable preference and respect it * Use $skin->getTitle() rather than $wgTitle * Remove "Sandbox" from i18n message * Remove duplicate enforcement of VE namespace from JS Change-Id: I956f68c2dde55e4063530fcc7c90eda048e0d78b |
||
---|---|---|
.. | ||
styles | ||
targets | ||
ve.init.mw.js | ||
ve.init.mw.Platform.js | ||
ve.init.mw.Target.js |