From a1789ddde42033f1b05cc4929491214ee6e79383 Mon Sep 17 00:00:00 2001 From: Pierre Schmitz Date: Thu, 17 Dec 2015 09:15:42 +0100 Subject: Update to MediaWiki 1.26.0 --- .../oojs/oojs-ui/src/widgets/ButtonInputWidget.js | 121 --------------------- 1 file changed, 121 deletions(-) delete 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 deleted file mode 100644 index 1d4d97fe..00000000 --- a/vendor/oojs/oojs-ui/src/widgets/ButtonInputWidget.js +++ /dev/null @@ -1,121 +0,0 @@ -/** - * 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 `