[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)
[x] Restore, update & merge CI updates: https://gerrit.wikimedia.org/r/c/integration/config/+/830584
[x] Restore, update & merge inclusion in release tool: https://gerrit.wikimedia.org/r/c/mediawiki/tools/release/+/830606
[x] Wait at least 2 weeks after merging above patch, until extension code is branched & deployed (unused) in production
[x] Restore, update & merge extension-list entry and config var: https://gerrit.wikimedia.org/r/c/operations/mediawiki-config/+/830874
[x] Enable on beta cluster (InitialiseSettings-labs.php in operations/mediawiki-config) on relevant wikis with whatever config is needed for this extension: https://gerrit.wikimedia.org/r/c/operations/mediawiki-config/+/830876
[] Enable on production cluster (InitialiseSettings.php in operations/mediawiki-config) on relevant wikis with whatever config is needed for this extension: https://gerrit.wikimedia.org/r/c/operations/mediawiki-config/+/830877
[] 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