mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-11-15 10:35:48 +00:00
61d40bd5ac
* Fix encoding * Remove unused attributes * Fix some IDs * Fix pixel snapping in gallery icons Change-Id: I084b3d7e3e5ba9b4ec234b94622cac076c7665e1
8 lines
410 B
XML
8 lines
410 B
XML