mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-25 14:56:20 +00:00
425b53a1e2
The element is <div>, and using English text doesn't work in other languages. Follow up to Icd79ec9b489557c3259ff7f2c11b2a899c767d0f Change-Id: I3859c668921a5f3f6abafb2053fc471dbc8d80c7 |
||
---|---|---|
.. | ||
pages | ||
env.rb | ||
hooks.rb |