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/php/widgets/ButtonInputWidget.php | 110 +++++++++++++++++++++ 1 file changed, 110 insertions(+) create mode 100644 vendor/oojs/oojs-ui/php/widgets/ButtonInputWidget.php (limited to 'vendor/oojs/oojs-ui/php/widgets/ButtonInputWidget.php') diff --git a/vendor/oojs/oojs-ui/php/widgets/ButtonInputWidget.php b/vendor/oojs/oojs-ui/php/widgets/ButtonInputWidget.php new file mode 100644 index 00000000..b3bcb63b --- /dev/null +++ b/vendor/oojs/oojs-ui/php/widgets/ButtonInputWidget.php @@ -0,0 +1,110 @@ +` rather than `