wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-25 19:26:46 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve/ui
History
Trevor Parscal 255ce870e2 Puttin' em white-spacers where they aught'a be 
function() -> function ()
){ -> ) {

Change-Id: I20a85fcf79d7aec64f7f2559e84c0279550d4eea
2012-08-06 18:52:19 -07:00
..
inspectors Cleanup - all jshint conditions are now met 2012-08-03 18:56:04 -07:00
styles Kranitor #3: jQuerlyfornication ft. The Cascaders 2012-07-28 13:05:57 -07:00
tools Puttin' em white-spacers where they aught'a be 2012-08-06 18:52:19 -07:00
ve.ui.Context.js Puttin' em white-spacers where they aught'a be 2012-08-06 18:52:19 -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 Puttin' em white-spacers where they aught'a be 2012-08-06 18:52:19 -07:00
ve.ui.Toolbar.js Puttin' em white-spacers where they aught'a be 2012-08-06 18:52:19 -07:00