diff options
author | ArthurHoaro <arthur@hoa.ro> | 2020-10-15 09:06:27 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-15 09:06:27 +0200 |
commit | f34554c6c2cd8fe99fe2e8907bfc196a4884416a (patch) | |
tree | 10fa2bdf19c5e8bb4ea954455c6164c5f4eae97b /application/plugin/PluginManager.php | |
parent | 4a26974a4b36362d25d8a3a029eac539685c03f6 (diff) | |
parent | ec457491879893c8cfcc9dd6542d1593aa5c91f5 (diff) | |
download | Shaarli-f34554c6c2cd8fe99fe2e8907bfc196a4884416a.tar.gz Shaarli-f34554c6c2cd8fe99fe2e8907bfc196a4884416a.tar.zst Shaarli-f34554c6c2cd8fe99fe2e8907bfc196a4884416a.zip |
Merge pull request #1591 from ArthurHoaro/doc/server-conf-php-v
Doc: add PHP 7.4 and 8.0 as supported version
Diffstat (limited to 'application/plugin/PluginManager.php')
0 files changed, 0 insertions, 0 deletions