re_set_syntax(phpman.html) - phpMan