[14:01:44] <anomie>	 musikanimal: Yes
[15:41:00] <Reedy>	 Can anyone see if dberr-cachederror is used anywhere?
[15:43:38] <Krenair>	 krenair@deployment-deploy01:/srv/mediawiki-staging$ grep dberr-cachederror php-master/extensions/* -ro
[15:43:38] <Krenair>	 php-master/extensions/Translate/tests/phpunit/messageindexdata.ser:dberr-cachederror
[15:43:38] <Krenair>	 krenair@deployment-deploy01:/srv/mediawiki-staging$ grep dberr-cachederror php-master/includes/* -r
[15:43:38] <Krenair>	 krenair@deployment-deploy01:/srv/mediawiki-staging$ 
[15:43:42] <Krenair>	 looks like the answer is no Reedy
[15:43:47] <Reedy>	 Yeah... Same
[15:43:48] <Reedy>	 https://codesearch.wmflabs.org/search/?q=cachederror&i=nope&files=&repos=
[15:44:06] <Reedy>	 I think we should remove it in https://gerrit.wikimedia.org/r/#/c/mediawiki/core/+/472746/ at the same time
[16:01:44] <_joe_>	 PSA: php 7.2 installed on the mwdebug servers
[16:01:54] <Reedy>	 sweet
[16:02:07] <_joe_>	 x-powered-by	
[16:02:09] <_joe_>	 PHP/7.2.8-1+0~20180725124257.2+stretch~1.gbp571e56
[16:02:30] <_joe_>	 next step for me is packaging excimer, but legoktm already did my homework for me
[23:39:59] <subbu>	 TimStarling, so, i am starting to look at pegjs for php .. and looks like if i port the code gen pieces in ast-to-regalloc-js.js (copied to ast-to-regalloc-php.js) and port some of the runtime/* files ... that will do it.
[23:41:28] <subbu>	 https://github.com/nylen/phpegjs can also help me there .. i could probably use that to guide my porting.