wikimedia/mediawiki-extensions-VisualEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/VisualEditor synced 2024-11-15 10:35:48 +00:00
Code Issues Packages Projects Releases Wiki Activity
mediawiki-extensions-Visual.../demos/ve
History
Trevor Parscal d0ff691f9e Add user interface widgets 
* New! Button and InputLabel widgets
* Using new buttons in the demo
* Moved styles around to generalize input styles

Change-Id: Ic42e133f8fe0fffcb61374c09dd5668db82a4799
TODO: Use these buttons other places! (like ve.init)
2013-02-13 18:04:04 -08:00
..
pages Removing alienblock tag 2013-01-16 16:04:46 -08:00
demo.css Add user interface widgets 2013-02-13 18:04:04 -08:00
index.php Add user interface widgets 2013-02-13 18:04:04 -08:00