mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 18:39:52 +00:00
c2d4a2d928
* Also removed beforeSplice and afterSplice in favor of just plain splice which is the same as afterSplice used to be - beforeSplice was never used and it was making things more complex looking than needed Change-Id: Icbbc57eac73a2a206ba35409ab57b3d1a49ab1a5 |
||
---|---|---|
.. | ||
parser | ||
ve | ||
ve2 |