PHP function - datefmt_is_lenient