mirror of https://github.com/php/php-src
Browse Source
while at it, correcting seemingly subtle bug when checking extension validity.pull/3309/head
2 changed files with 3 additions and 10 deletions
Loading…
Reference in new issue