Fix undefined function diff in DateTime for user with PHP < 5.3