mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/WikiEditor
synced 2024-11-27 17:50:44 +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 |
||
---|---|---|
.. | ||
toolbar | ||
beta-feature-ltr.svg | ||
beta-feature-rtl.svg |