DateTime::diff

以前、『【PHP】開始・終了の時差を計算し「時：分：秒」という形で表示する方法』というポストをしたのですが、PHP5.3以上であれば、もっとスマートに出来る方法を教えていただいたので紹介。