1 files changed, 4 insertions, 4 deletions
diff --git a/resources/src/mediawiki.widgets/mw.widgets.NamespaceInputWidget.js b/resources/src/mediawiki.widgets/mw.widgets.NamespaceInputWidget.js
index 0515d7a78a69..d4ca8120ed60 100644
--- a/resources/src/mediawiki.widgets/mw.widgets.NamespaceInputWidget.js
+++ b/resources/src/mediawiki.widgets/mw.widgets.NamespaceInputWidget.js
@@ -59,7 +59,7 @@
 			mw.config.get( 'wgFormattedNamespaces' );
 
 		// eslint-disable-next-line no-jquery/no-map-util
-		const options = $.map( namespaces, function ( name, ns ) {
+		const options = $.map( namespaces, ( name, ns ) => {
 			if ( ns < mainNamespace || exclude.indexOf( Number( ns ) ) !== -1 ) {
 				return null; // skip
 			}
@@ -68,10 +68,10 @@
 				name = mw.msg( 'blanknamespace' );
 			}
 			return { data: ns, label: name };
-		} ).sort( function ( a, b ) {
+		} ).sort(
 			// wgFormattedNamespaces is an object, and so technically doesn't have to be ordered
-			return a.data - b.data;
-		} );
+			( a, b ) => a.data - b.data
+		);
 
 		if ( config.includeAllValue !== null && config.includeAllValue !== undefined ) {
 			options.unshift( {