Before launch:
[ ] Verify that addWiki.php is fixed (T341102)
[ ] Drop DNS redirect https://gerrit.wikimedia.org/r/c/operations/puppet/+/939757
On the day, step-by-step instructions:
[ ] Merge primary config patch https://gerrit.wikimedia.org/r/c/operations/mediawiki-config/+/934631/
[ ] (deploy) Pull config and check that the *.dblist files now contain wikifunctionswiki
[ ] (mwdebug) `scap pull`
[ ] (mwmaint) `scap pull`
[ ] (mwmaint) Create primary databases: `mwscript extensions/WikimediaMaintenance/addWiki.php --wiki=muswiki en wikimedia wikifunctionswiki wikifunctions.org`
[ ] (mwmaint) Create our special database tables:
[ ] `mwscript sql.php --wiki=wikifunctionswiki extensions/WikiLambda/sql/mysql/table-zlanguages.sql`
[ ] `mwscript sql.php --wiki=wikifunctionswiki extensions/WikiLambda/sql/mysql/table-zobject_function_join.sql`
[ ] `mwscript sql.php --wiki=wikifunctionswiki extensions/WikiLambda/sql/mysql/table-zobject_label_conflicts.sql`
[ ] `mwscript sql.php --wiki=wikifunctionswiki extensions/WikiLambda/sql/mysql/table-zobject_labels.sql`
[ ] `mwscript sql.php --wiki=wikifunctionswiki extensions/WikiLambda/sql/mysql/table-ztester_results.sql`
[ ] (mwmaint) Add our initial content, skipping Z7xxx
[ ] `mwscript extensions/Wikilambda/maintenance/loadPreDefinedZObject.php --wiki=wikifunctionswiki --from 1 --to 2000`
[ ] `mwscript extensions/Wikilambda/maintenance/loadPreDefinedZObject.php --wiki=wikifunctionswiki --from 8000 --to 8999`
[ ] (mwmaint) Add initial user Denny as wikifunctions-staff: `mwscript maintenance/run.php createAndPromote --wiki=wikifunctionswiki --custom-groups functioneer,functionmaintainer,wikifunctions-staff --force 'DVrandecic (WMF)'`
[ ] TKTKTK inject initial content for Main Page
[ ] (deploy) `scap sync-world Initial deploy of wikifunctionswiki in locked-down mode for TXXXXXX`
[ ] (on-wiki) Edit <https://meta.wikimedia.org/wiki/Interwiki_map> to add `| Wikifunctions || <https://www.wikifunctions.org/wiki/$1>` referencing T327459 in the edit summary
[ ] (deploy) `scap update-interwiki-cache`
[ ] (on-wiki) Edit <https://meta.wikimedia.org/wiki/Interwiki_map/updated> to edit last update date
[ ] TKTKTK inject initial content for other pages