* lang_php/parsing/lib_parsing_php.ml: factorize min_max