This repository has been archived by the owner on Sep 20, 2021. It is now read-only.
- Documentation: Update badges. (Ivan Enderlin, 2017-03-07T17:11:19+01:00)
- CI: Enable devtools in PHP 7.1. (Ivan Enderlin, 2017-03-07T16:57:39+01:00)
- CI: Run devtools on PHP nightly. (Ivan Enderlin, 2017-02-27T09:56:21+01:00)
- CI: Add PHP 7.1. (Ivan Enderlin, 2017-02-24T15:10:02+01:00)
- Quality: Add Travis. (Ivan Enderlin, 2016-08-15T15:32:07+02:00)