mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-01 09:26:37 +00:00
9f17ac1518
Was removed in Ie8ddb165 Change-Id: Icc6a3dcf7f4204271578f6d67e7c5c02a17b9383 |
||
---|---|---|
.. | ||
categories.json | ||
CustomTags.rb | ||
eg-iframe.html | ||
eg-iframe.html.template | ||
external.js | ||
mw-categories.json |