'mediawiki.widgets.NamespacesMultiselectWidget' => [
'scripts' => [
'resources/src/mediawiki.widgets/mw.widgets.NamespacesMultiselectWidget.js',
+ 'resources/src/mediawiki.widgets/mw.widgets.NamespacesMenuOptionWidget.js',
],
'dependencies' => [
'oojs-ui-widgets',