mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-12-14 01:10:07 +00:00
d861bf41de
This style of indicator is used everywhere else (Vector, WMUI, Apex). Bug: T223155 Change-Id: I0792ee718656943a2938c2d027f8effe71a54002
8 lines
238 B
XML
8 lines
238 B
XML