Improve CI#17

szepeviktor wants to merge 7 commits intoDaveLiddament:mainDaveLiddament/php-language-extensions:mainfrom

szepeviktor:ciszepeviktor/php-language-extensions:ciCopy head branch name to clipboard