PHP function - datefmt_set_lenient