mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-12-11 08:07:24 +00:00
d2e683f230
Change-Id: I9a8afd8ec8f17c867f81889524a64b96b1d10568 |
||
---|---|---|
.. | ||
dialogs | ||
toolbar |