Change Details

T295616 sets up a new user preference `search-special-page` for the default search page on a wiki is set When that is live we need to * set the `search-special-page` preference to 'MediaSearch' by default on commons * migrate the 'sdms-specialsearch-default' preference on commons: ** if it's true for a user, then that user should have their `search-special-page` preference set to 'Search' ** update the preference code in the MediaSearch extension so that it edits the new preference * remove the code from `MediaSearchHooks.php` that sets the search page title in the skin Once that's done and merged, the method `setSearchPageTitle()` can be removed from `Skin.php` in core

T295616 sets up a new user preference `search-special-page` for the default search page on a wiki When that is live we need to * set the `search-special-page` preference to 'MediaSearch' by default on commons * migrate the 'sdms-specialsearch-default' preference on commons: ** if it's true for a user, then that user should have their `search-special-page` preference set to 'Search' ** update the preference code in the MediaSearch extension so that it edits the new preference * remove the code from `MediaSearchHooks.php` that sets the search page title in the skin Once that's done and merged, the method `setSearchPageTitle()` can be removed from `Skin.php` in core

T295616 sets up a new user preference `search-special-page` for the default search page on a wiki is set When that is live we need to * set the `search-special-page` preference to 'MediaSearch' by default on commons * migrate the 'sdms-specialsearch-default' preference on commons: ** if it's true for a user, then that user should have their `search-special-page` preference set to 'Search' ** update the preference code in the MediaSearch extension so that it edits the new preference * remove the code from `MediaSearchHooks.php` that sets the search page title in the skin Once that's done and merged, the method `setSearchPageTitle()` can be removed from `Skin.php` in core