1--TEST-- 2Bug #71889 (DateInterval::format segfault on '%' input) 3--INI-- 4date.timezone=US/Eastern 5--FILE-- 6<?php 7$di = new DateInterval('P1D'); 8var_dump($di->format("%")); 9?> 10--EXPECT-- 11string(0) "" 12
