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 /application/PluginManager.php | |
| 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 'application/PluginManager.php')
0 files changed, 0 insertions, 0 deletions