Drop use of oojs-ui-widgets
Using ButtonGroupWidget and ButtonWidget have no impact
This decreases the JS payload considerably.
- oojs-ui is declared explicitly in extension.json as a
dependency because oojs-ui-core does not have oojs-ui as
a dependency. Without this occasionally a race condition occurs
and a JS exception is thrown.