update php-version to 0.12.0