mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-09-28 12:46:45 +00:00
4a73b3e4b1
It's not an iframe anymore, so the name shouldn't be confusing. Change-Id: Id93595d56d7d88871ab79ca91e1714d9a70fad17 |
||
---|---|---|
.. | ||
dummy_page.rb | ||
visual_editor_page.rb | ||
zarticlepage.rb |