diff options
author | ArthurHoaro <arthur@hoa.ro> | 2019-02-09 11:07:58 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-02-09 11:07:58 +0100 |
commit | 7417e8ac4a4cf742ace1679c046425bb3f2bac2c (patch) | |
tree | 9500621944aec8dc79e0e4fb82ef1217e151fbb7 /index.php | |
parent | 7c130540389f211a392144dd0e7795239843e6ed (diff) | |
parent | 9f0c719c53808ea1cec9fe07872fe625672fc27f (diff) | |
download | Shaarli-7417e8ac4a4cf742ace1679c046425bb3f2bac2c.tar.gz Shaarli-7417e8ac4a4cf742ace1679c046425bb3f2bac2c.tar.zst Shaarli-7417e8ac4a4cf742ace1679c046425bb3f2bac2c.zip |
Merge pull request #1229 from ArthurHoaro/travis/php-7.3
Run Shaarli's tests against PHP 7.3 RC1 on Travis
Diffstat (limited to 'index.php')
0 files changed, 0 insertions, 0 deletions