Change Details

[] Add deployment tracking task to the review queue [] Pass security review T315250 [] Pass performance review T307736 [] Pass design review [] Pass DB review [] Restore, update & merge CI updates: [] Restore, update & merge inclusion in release tool: [] Wait at least 2 weeks after merging above patch, until extension code is branched & deployed (unused) in production [] Restore, update & merge extension-list entry and config var: [] Enable on beta cluster (InitialiseSettings-labs.php in operations/mediawiki-config) on relevant wikis with whatever config is needed for this extension [] Enable on production cluster (InitialiseSettings.php in operations/mediawiki-config) on relevant wikis with whatever config is needed for this extension [] Update [mw.org/Extension:SearchVue](https://www.mediawiki.org/wiki/Extension:SearchView), adding the `{{OnWikimedia}}` template & whatever additional config & information are relevant for this extension [] Double-check https://www.mediawiki.org/wiki/Writing_an_extension_for_deployment#Preparing_for_deployment to make sure nothing has been forgotten

[x] Add deployment tracking task to the review queue [] Pass security review T315250 [] Pass performance review T307736 [] Pass design review [x] Pass DB review (not relevant; no schema changes) [] Restore, update & merge CI updates: https://gerrit.wikimedia.org/r/c/integration/config/+/830584 [] Restore, update & merge inclusion in release tool: https://gerrit.wikimedia.org/r/c/mediawiki/tools/release/+/830606 [] Wait at least 2 weeks after merging above patch, until extension code is branched & deployed (unused) in production [] Restore, update & merge extension-list entry and config var: [] Enable on beta cluster (InitialiseSettings-labs.php in operations/mediawiki-config) on relevant wikis with whatever config is needed for this extension [] Enable on production cluster (InitialiseSettings.php in operations/mediawiki-config) on relevant wikis with whatever config is needed for this extension [] Update [mw.org/Extension:SearchVue](https://www.mediawiki.org/wiki/Extension:SearchView), adding the `{{OnWikimedia}}` template & whatever additional config & information are relevant for this extension [] Double-check https://www.mediawiki.org/wiki/Writing_an_extension_for_deployment#Preparing_for_deployment to make sure nothing has been forgotten

[x] Add deployment tracking task to the review queue [] Pass security review T315250 [] Pass performance review T307736 [] Pass design review [x] Pass DB review (not relevant; no schema changes) [] Restore, update & merge CI updates: https://gerrit.wikimedia.org/r/c/integration/config/+/830584 [] Restore, update & merge inclusion in release tool: https://gerrit.wikimedia.org/r/c/mediawiki/tools/release/+/830606 [] Wait at least 2 weeks after merging above patch, until extension code is branched & deployed (unused) in production [] Restore, update & merge extension-list entry and config var: [] Enable on beta cluster (InitialiseSettings-labs.php in operations/mediawiki-config) on relevant wikis with whatever config is needed for this extension [] Enable on production cluster (InitialiseSettings.php in operations/mediawiki-config) on relevant wikis with whatever config is needed for this extension [] Update [mw.org/Extension:SearchVue](https://www.mediawiki.org/wiki/Extension:SearchView), adding the `{{OnWikimedia}}` template & whatever additional config & information are relevant for this extension [] Double-check https://www.mediawiki.org/wiki/Writing_an_extension_for_deployment#Preparing_for_deployment to make sure nothing has been forgotten