dev-lang/php: Version dump