wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-12-03 02:16:51 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve/ui/styles/images
History
jenkins-bot cc65c7a704 Merge "Text style icon"
2013-12-11 01:46:50 +00:00
..
icons Merge "Text style icon" 2013-12-11 01:46:50 +00:00
spinner.gif Insert special character tool 2013-12-05 22:51:14 -08:00