Temporary fix for CircleCI ARM MySQL build failures#14112

mbeccati wants to merge 1 commit intophp:masterphp/php-src:masterfrom

mbeccati:no-mysql84mbeccati/php-src:no-mysql84Copy head branch name to clipboard