Update to MediaWiki 1.26.0

1 files changed, 0 insertions, 33 deletions

diff --git a/vendor/oojs/oojs-ui/src/widgets/MenuOptionWidget.js b/vendor/oojs/oojs-ui/src/widgets/MenuOptionWidget.js
deleted file mode 100644
index cc620d97..00000000
--- a/vendor/oojs/oojs-ui/src/widgets/MenuOptionWidget.js
+++ /dev/null
@@ -1,33 +0,0 @@
-/**
- * MenuOptionWidget is an option widget that looks like a menu item. The class is used with
- * OO.ui.MenuSelectWidget to create a menu of mutually exclusive options. Please see
- * the [OOjs UI documentation on MediaWiki] [1] for more information.
- *
- * [1]: https://www.mediawiki.org/wiki/OOjs_UI/Widgets/Selects_and_Options#Menu_selects_and_options
- *
- * @class
- * @extends OO.ui.DecoratedOptionWidget
- *
- * @constructor
- * @param {Object} [config] Configuration options
- */
-OO.ui.MenuOptionWidget = function OoUiMenuOptionWidget( config ) {
-	// Configuration initialization
-	config = $.extend( { icon: 'check' }, config );
-
-	// Parent constructor
-	OO.ui.MenuOptionWidget.super.call( this, config );
-
-	// Initialization
-	this.$element
-		.attr( 'role', 'menuitem' )
-		.addClass( 'oo-ui-menuOptionWidget' );
-};
-
-/* Setup */
-
-OO.inheritClass( OO.ui.MenuOptionWidget, OO.ui.DecoratedOptionWidget );
-
-/* Static Properties */
-
-OO.ui.MenuOptionWidget.static.scrollIntoViewOnSelect = true;