mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-03 02:16:51 +00:00
bf42b1a742
The API moans about it in a warning, but it works. Along with edit page checkboxes, this also fixes edit notices. Bug: 65455 Change-Id: I7c319d43fd06ab04ab4e4cc099ae49b11c31fabd |
||
---|---|---|
.. | ||
styles | ||
targets | ||
ve.init.mw.js | ||
ve.init.mw.LinkCache.js | ||
ve.init.mw.Platform.js | ||
ve.init.mw.Target.js | ||
ve.init.mw.TargetEvents.js |