From f6d65e533c62f6deb21342d4901ece24497b433e Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Thu, 4 Jun 2015 07:31:04 +0200 Subject: Update to MediaWiki 1.25.1 --- .../oojs/oojs-ui/src/widgets/ButtonInputWidget.js | 121 +++++++++++++++++++++ 1 file changed, 121 insertions(+) create mode 100644 vendor/oojs/oojs-ui/src/widgets/ButtonInputWidget.js (limited to 'vendor/oojs/oojs-ui/src/widgets/ButtonInputWidget.js') diff --git a/vendor/oojs/oojs-ui/src/widgets/ButtonInputWidget.js b/vendor/oojs/oojs-ui/src/widgets/ButtonInputWidget.js new file mode 100644 index 00000000..1d4d97fe --- /dev/null +++ b/vendor/oojs/oojs-ui/src/widgets/ButtonInputWidget.js @@ -0,0 +1,121 @@ +/** + * ButtonInputWidget is used to submit HTML forms and is intended to be used within + * a OO.ui.FormLayout. If you do not need the button to work with HTML forms, you probably + * want to use OO.ui.ButtonWidget instead. Button input widgets can be rendered as either an + * HTML `