mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-12-24 13:54:22 +00:00
7573a7dbad
The CSS was already unused when the extension was created in 2010. A comment that still mentioned the CSS class was removed via I0798864 in 2022. The message is unused since I9fb7e66, that was in 2021. Change-Id: I25cd31efc4ee61ff3f857c280b5cd18c3ae4bd00 |
||
---|---|---|
.. | ||
arrow-down.svg | ||
example-image.png |