* lang_php/analyze/checker/error_php.ml: less important