Merge pull request #14155 from seamuslee001/php_7_2_bin_cli_class