diff options
author | ArthurHoaro <arthur@hoa.ro> | 2018-02-02 19:20:11 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-02 19:20:11 +0100 |
commit | 17b4baedec3902a1549451ede36f914000019797 (patch) | |
tree | 6e41c336cff937358f875d338b038cfee1eeed3a /plugins | |
parent | 91813a363468404b7bf2937494812f1fa34a12b4 (diff) | |
parent | 28df9fa4f7d901632e7fd6e23b6d7dd345f1f6e7 (diff) | |
download | Shaarli-17b4baedec3902a1549451ede36f914000019797.tar.gz Shaarli-17b4baedec3902a1549451ede36f914000019797.tar.zst Shaarli-17b4baedec3902a1549451ede36f914000019797.zip |
Merge pull request #1003 from ArthurHoaro/ci/php7.2
Drop PHP 5.5 compatibility and run Travis UT against PHP 7.2
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions