mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 08:34:54 +00:00
536df35ed1
Bonus: give both the language name and page name lang and dir attributes. Further bonus: reintroduce message that was deleted earlier with all of its original translations. Change-Id: Id137ff9a069799b6c09574b72f450eac6665d144 |
||
---|---|---|
.. | ||
dialogs | ||
inspectors | ||
pages | ||
styles | ||
tools | ||
widgets | ||
ve.ui.MWDialog.js |