wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-25 14:56:20 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve/init
History
Krinkle 3b3dab11c7 Merge "Removed all browser-specific border-radius rules"
2012-12-03 22:05:59 +00:00
..
mw Merge "Removed all browser-specific border-radius rules" 2012-12-03 22:05:59 +00:00
sa
ve.init.js
ve.init.Platform.js Disable change marking by default 2012-11-14 11:58:32 -08:00