wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-09-27 12:16:51 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../modules/ve2/ui
History
Trevor Parscal 56c0f597cd Fixed use of "pre", "preformatted" is the correct symbolic name 
Change-Id: Ifc7e8e3291b8dd29a7fa4c42529bb4fd36a6ed9a
2012-06-13 15:15:05 -07:00
..
inspectors Cleaned up toolbar annotation updates 2012-06-13 14:31:46 -07:00
styles Real cross browser fix for invisible iframe bug. 2012-06-13 13:29:18 -07:00
tools Fixed use of "pre", "preformatted" is the correct symbolic name 2012-06-13 15:15:05 -07:00
ve.ui.Context.js Real cross browser fix for invisible iframe bug. 2012-06-13 13:29:18 -07:00
ve.ui.Inspector.js Real cross browser fix for invisible iframe bug. 2012-06-13 13:29:18 -07:00
ve.ui.js Fixed dependency on mw, now demo works again 2012-06-11 12:11:07 -07:00
ve.ui.Menu.js Copy ui modules to ve2 2012-05-21 12:39:36 -07:00
ve.ui.Tool.js Copy ui modules to ve2 2012-05-21 12:39:36 -07:00
ve.ui.Toolbar.js Cleaned up toolbar annotation updates 2012-06-13 14:31:46 -07:00