re_set_syntax(3) - phpMan