diff options
author | VirtualTam <virtualtam@flibidi.net> | 2018-06-17 13:01:47 +0200 |
---|---|---|
committer | VirtualTam <virtualtam@flibidi.net> | 2018-06-17 13:02:29 +0200 |
commit | 55346c1ebed66ce29dee0eee1fec5602b2d26078 (patch) | |
tree | e692e493688fea3f8d681c093ed574d90d75daa3 /application/PluginManager.php | |
parent | 754ee049fb090ba2f212a3beab6c452aaefeb8fd (diff) | |
download | Shaarli-55346c1ebed66ce29dee0eee1fec5602b2d26078.tar.gz Shaarli-55346c1ebed66ce29dee0eee1fec5602b2d26078.tar.zst Shaarli-55346c1ebed66ce29dee0eee1fec5602b2d26078.zip |
travis: disable unsupported PHP 5.3
Signed-off-by: VirtualTam <virtualtam@flibidi.net>
Diffstat (limited to 'application/PluginManager.php')
0 files changed, 0 insertions, 0 deletions