feature #1234 Added support DateTimeInterface (PHP 5.5) if available (hidenorigoto)
authorFabien Potencier <fabien.potencier@gmail.com>
Tue, 15 Oct 2013 15:50:14 +0000 (17:50 +0200)
committerFabien Potencier <fabien.potencier@gmail.com>
Tue, 15 Oct 2013 15:50:14 +0000 (17:50 +0200)
This PR was squashed before being merged into the master branch (closes #1234).

Discussion
----------

Added support DateTimeInterface (PHP 5.5) if available

| Q             | A
| ------------- | ---
| Bug fix?      | no
| New feature?  | yes
| BC breaks?    | no
| Deprecations? | no
| Tests pass?   | yes
| Fixed tickets |
| License       | new BSD
| Doc PR        |

Commits
-------

ca61fac Added support DateTimeInterface (PHP 5.5) if available


Trivial merge