mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-29 16:44:51 +00:00
61d40bd5ac
* Fix encoding * Remove unused attributes * Fix some IDs * Fix pixel snapping in gallery icons Change-Id: I084b3d7e3e5ba9b4ec234b94622cac076c7665e1
7 lines
817 B
XML
7 lines
817 B
XML