MediaWiki:Common.js: Unterschied zwischen den Versionen

Aktuelle Version vom 2. Februar 2022, 19:13 Uhr

/* Das folgende JavaScript wird für alle Benutzer geladen. */

@@ Zeile 1: / Zeile 1: @@
 /* Das folgende JavaScript wird für alle Benutzer geladen. */
-function customTalkNamespaceProvider( namespaceIds ) {
-	$.grep( namespaceIds, function ( id ) {
-		var numericId = Number( id );
-		return numericId > 100 && numericId % 2;
-	} );
-}
-mw.hook( 'advancedSearch.initNamespacePresetProviders' ).add(
-	function( namespaceProviders ) {
-		// use unique provider ID from PHP config as key
-		namespaceProviders[ 'custom-talk' ] = customTalkNamespaceProvider;
-	}
-);