from: https://www.mediawiki.org/wiki/Writing_an_extension_for_deployment#Deploy_to_Beta_Cluster
- Add the PersonalDashboard submodule to the git mediawiki/extensions repo (gerrit:1191826)
- Move PersonalDashboard CI config to the "Wikimedia production" section, add the "in-wikimedia-production" job template, and make sure it has and passes all the expected jobs for production code. (gerrit:1217775)
- Add PersonalDashboard to the json make-wmf-branch release tool (releng/release/-/merge_requests/228).
- Add PersonalDashboard to extension-list. This requires that the code be present on every branch running in production, since extension-list is used to build the CDB database for i18n files in both Beta and production. (gerrit:1217786 )
- Add $wmgUsePersonalDashboard config variable to InitialiseSettings.php and set it to be default false. ( gerrit:1217787)
- Add $wmgUsePersonalDashboard config variable (same as in previous step) to InitialiseSettings-labs.php and set it to be true on Beta Cluster wikis we want it to be on. Turn it off for loginwiki (which doesn't have most extensions). (gerrit:1217788)
- Load PersonalDashboard in CommonSettings-labs.php. (gerrit:1217789)