mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor
synced 2024-12-01 17:36:35 +00:00
61d40bd5ac
* Fix encoding * Remove unused attributes * Fix some IDs * Fix pixel snapping in gallery icons Change-Id: I084b3d7e3e5ba9b4ec234b94622cac076c7665e1
9 lines
853 B
XML
9 lines
853 B
XML