Indeed. I should also note that the issue reported at is about xdebug not being found. I don't have an explanation for this; perhaps something was missed while switching the job to PHP 7.3. OTOH, my proposed solution will make it possible to use pcov instead of xdebug, thus basically ignoring the current issue with xdebug. The rationale being, I don't think it's necessary to unbreak xdebug support if we're migrating away from it anyway.

Il giorno mer 14 apr 2021 alle ore 07:05 Kunal Mehta <> ha scritto:

On 4/13/21 7:47 PM, Zoran Dori wrote:
 > <snip>
> I would like to know why is this happening.

See and Daimona has proposed to
hopefully fix it.

-- Legoktm

Wikitech-l mailing list

"Daimona" is not my real name -- he/him