wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-26 07:15:32 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve-mw/ui/styles/pages
History
Volker E 4067b05832 Unify monospace font family stack 
Bug: T176636
Change-Id: I9ad1a92cef7875371e232c8e4babc842ba711e8c
2017-09-28 00:24:53 +02:00
..
ve.ui.MWCategoriesPage.css
ve.ui.MWParameterPage.css Unify monospace font family stack 2017-09-28 00:24:53 +02:00
ve.ui.MWTransclusionContentPage.css