wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-29 00:30:44 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve/ui
History
Catrope aabdb8dfba Flag MW-specific code in LinkInspector 
Change-Id: I1a85c4c9f5ca0522c2d5491993fad7f05d3a1203
2012-07-27 14:51:58 -07:00
..
inspectors Flag MW-specific code in LinkInspector 2012-07-27 14:51:58 -07:00
styles Fix position of context icons. 2012-07-25 14:41:25 -07:00
tools Kranitor #1: On-boarding 2012-07-27 14:40:00 -07:00
ve.ui.Context.js Kranitor #1: On-boarding 2012-07-27 14:40:00 -07:00
ve.ui.Inspector.js Kranitor #1: On-boarding 2012-07-27 14:40:00 -07:00
ve.ui.js Added ve.init.platform with MediaWiki and stand-alone implementations 2012-07-27 13:39:19 -07:00
ve.ui.Menu.js Kranitor #1: On-boarding 2012-07-27 14:40:00 -07:00
ve.ui.Tool.js Removed some whitespace 2012-07-19 14:25:16 -07:00
ve.ui.Toolbar.js Kranitor #1: On-boarding 2012-07-27 14:40:00 -07:00