add .php-version