wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-13 17:48:17 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../demos
History
Trevor Parscal 3dcba7679a Add OO.ui.ToggleWidget 
Compact toggle widget with short labels for on/off states.

Change-Id: I582e81126d5f1564302409c1b262e28e4a9505ac
2013-11-12 16:54:35 -08:00
..
trigger Rename oo.js to oojs.js per library name 2013-10-22 19:18:32 +00:00
ve Add OO.ui.ToggleWidget 2013-11-12 16:54:35 -08:00