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-mw/ui
History
Timo Tijhof c6cfe763bb Update OOJS UI to v0.1.0-pre (d047752ccc) 
Also, as OOjs UI's StackPanelLayout was renamed to StackLayout, and the
showItem() function to setItem(), fix uses in VisualEditor.

Change-Id: If153e5e7c3a7c60e3d62e20aac8fabd4eaaa73c2
2013-12-04 08:53:53 -08:00
..
dialogs Update OOJS UI to v0.1.0-pre (d047752ccc) 2013-12-04 08:53:53 -08:00
inspectors Make autonumbered external links inspectable 2013-11-30 00:14:41 -08:00
styles Fix icon opacities 2013-11-22 13:47:20 +00:00
tools Make autonumbered external links inspectable 2013-11-30 00:14:41 -08:00
widgets Rename this.$ to this.$element, and this.$$ to this.$ 2013-11-03 23:03:49 -08:00
ve.ui.MWDialog.js Window refactor 2013-11-08 12:33:25 -08:00