dev-lang/php: Version bump