MediaWiki:Mediasearchlink.js

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
Note: After saving, you have to bypass your browser's cache to see the changes. Internet Explorer: press Ctrl-F5, Mozilla: hold down Shift while clicking Reload (or press Ctrl-Shift-R), Opera/Konqueror: press F5, Safari: hold down Shift + Alt while clicking Reload, Chrome: hold down Shift while clicking Reload.
/**
 * Add the current search query to a "Switch to MediaSearch" link on [[Special:Search]].
 * 
 * Depends on link with appropriate name in [[MediaWiki:Search-summary]], i18n is there.
 * Loaded from MediaWiki:common.js
 * This is a bit of a hack in lieu of https://phabricator.wikimedia.org/T284265.
 * 
 * @maintainer [[User:AntiCompositeNumber]]
 */
$.when(
  mw.loader.using( ['mediawiki.util'] ),
  $(document).ready
).then( function () {
	$("#mw-indicator-mediasearchlink a").attr(
		"href", 
		mw.util.getUrl(
			"Special:MediaSearch", 
			{"search": mw.util.getParamValue("search")}
		)
	);
});