title = "php7.3"; is_affected = .depends ~ "phpapi-20170718" | .depends ~ "phpapi-20180606" | .depends ~ "phpapi-20180731"; is_good = .depends ~ "phpapi-20180731"; is_bad = (.depends ~ "phpapi-20170718" | .depends ~ "phpapi-20180606") & ! .depends ~ "phpapi-20180731"; notes = "#906643"; export = false;