We need to move all maintenance scripts to use PHP 7.2 instead of HHVM.
This can be done by simply prepending `PHP=php7.2` to all the invocations of mwscript etc in the maintenance scripts.
What needs to be done in detail:
[] Separate production maintenance scripts from wikitech ones**
[] Pick a few scripts to migrate first, notify the owners, migrate
[] Migrate the wikidata dispatcher
[] Migrate all other scripts by setting php7.2 as the preferred debian alternative
[] Revert all the modifications to the scripts above as we don't need to force
[x] Some cronjobs are shared with wikitech, which has not been switched to PHP7. To avoid blocking this task we can keep production and wikitech maint jobs separate T222900
Related to: T219135:
----
| **PROGRESS** | **no (of 26)** | **%**
|| **5**| **19.23%**
| status | puppet class name | what does it do | comment | logging ?
| ☑ | cache_warmup || not a cron, just a package and file | ?
|☐| initsitestats || uses 'foreachwiki', uses foreachwikiindblist, bash, hardcodes RUNNER=php | ?
|☐| purge_expired_userrights || uses foreachwiki | /dev/null
|☐| translationnotifications || uses mwscript, allows overriding of PHP, ends emailwith DigestEmailer.php to a lot of users https://gerrit.wikimedia.org/r/c/operations/puppet/+/528606 | /var/log
|☑| uploads || not a cron, just a config file for wget |?
|☐| cirrussearch || uses expanddblist, (PHP) but pipes it into mwscript | ?
|☐| pageassessments || uses foreachwikiindblist |?
|☐| purge_old_cx_drafts || uses foreachwikiindblist |?
|☐| update_flaggedrev_stats || uses mwscriptwikiset (bash), starts mwscript | ?
|☑| wikidata || Check https://grafana.wikimedia.org/d/000000156/wikidata-dispatch?refresh=1m&orgId=1 and https://grafana.wikimedia.org/d/000000239/wikidata-dispatch-script?refresh=1m&orgId=1 | ?
|☐| cleanup_upload_stash || uses foreachwiki | ?
|☐| pagetriage ||uses mwscript, https://gerrit.wikimedia.org/r/c/operations/puppet/+/528609 . ask Ariel | /var/log/mediawiki
|☐| purge_securepoll ||uses foreachwiki| /dev/null
|☐| updatequerypages ||uses updatequerypages::cronjob, uses mwscriptwikiset | -
|☑| db_lag_stats |dump MediaWiki DB lag times into statsd T149210|uses mwscript| /dev/null
|☑| jobqueue_stats || https://gerrit.wikimedia.org/r/c/operations/puppet/+/528287 | ?
|☐| parsercachepurging ||uses mwscript| /dev/null
|☑| readinglists || https://gerrit.wikimedia.org/r/c/operations/puppet/+/528282 |
|☐| echo_mail_batch ||uses foreachwikiindblist| /dev/null
|☐| purge_abusefilter ||uses foreachwiki| /dev/null
|☐| refreshlinks ||uses refreshlinks::cronjob, uses mwscriptwikiset| /var/log/mediawiki
|☐| update_special_pages ||uses flock, uses foreachwiki updateSpecialPages.php| /var/log/mediawiki
|☐| generatecaptcha ||uses mwscript GenerateFancyCaptchas from ConfirmEdit extension| /var/log/mediawiki
|☐| purge_checkuser ||uses foreachwiki purgeOldData.php - did https://gerrit.wikimedia.org/r/#/c/operations/puppet/+/528730/ but foreachwiki forces RUNNER=php apparently | /dev/null
|☐| refreshlinks ||uses refreshlinks::cronjob, uses mwscriptwikiset| /var/log/mediawiki
|☐| updatetranslationstats.pp ||runs /usr/local/bin/characterEditStatsTranslate, uses mwscript| /dev/null