Wikimedia Technical Committee/Minutes/2017-10-04


 * RFC Approved: Introduce InterruptMutexManager. There was no further discussion, so the committee approved this RFC. .
 * Last week’s IRC discussion covered how long we need/want to keep support for HHVM. IRC meeting log:  Thread on wikitech: . RFC about bumping the PHP version (for context) 
 * Next week's IRC discussion (2017-10-11): Move RunJobs.php to core  . As always, the discussion will take place in the IRC channel #wikimedia-office on Wednesday 21:00 UTC (2pm PDT, 23:00 CEST).