Updated mediawiki/extensions
Project: mediawiki/extensions/VisualEditor  92e5f94e4156f6f3e0c4f8fecbe2ebf1f396f020

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)