mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-25 23:05:35 +00:00
4a73b3e4b1
It's not an iframe anymore, so the name shouldn't be confusing. Change-Id: Id93595d56d7d88871ab79ca91e1714d9a70fad17 |
||
---|---|---|
.. | ||
pages | ||
env.rb | ||
hooks.rb | ||
language_screenshot.rb |