CI: replace phpdbg with php in coverage#194

f3l1x merged 1 commit into

contributte:mastercontributte/gui-skeleton:masterfrom

ohmyfelix:chore/phpdbg-to-php-coverageohmyfelix/gui-skeleton:chore/phpdbg-to-php-coverageCopy head branch name to clipboard