mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-30 00:55:00 +00:00
8511f8ab3e
No matter what the W3C says, getDomFromHtmlString is more legible than getDOMFromHTMLString. Change-Id: Ic843b6671871024cce8acd82b6be435599ed168b |
||
---|---|---|
.. | ||
styles | ||
ve.init.sa.js | ||
ve.init.sa.Platform.js | ||
ve.init.sa.Target.js |