mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeMirror
synced 2024-12-14 06:59:26 +00:00
d0653940df
- sort attributes - indentation - remove unnecessary ids Bug: T180427 Change-Id: I04d37d4c58aa3499af241dc434985a98a13f51ea
53 lines
2.9 KiB
XML
53 lines
2.9 KiB
XML