dev-lang/php: Version bump and mirror fix