diff options
| author | nodiscc <nodiscc@gmail.com> | 2019-01-06 01:32:28 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-01-06 01:32:28 +0000 |
| commit | a7c98a07d1c0f714bb06f22c0a1bc4fd89495912 (patch) | |
| tree | 4131ef9a6a4d7d02b157c52b81e19d5038d830cc /application/PluginManager.php | |
| parent | 1004742f09b55ff781c13745781b9a7e90986faa (diff) | |
| parent | 7062ef4ddd1864f0d5eaff7146de54ea1fd9fe1e (diff) | |
| download | Shaarli-a7c98a07d1c0f714bb06f22c0a1bc4fd89495912.tar.gz Shaarli-a7c98a07d1c0f714bb06f22c0a1bc4fd89495912.tar.zst Shaarli-a7c98a07d1c0f714bb06f22c0a1bc4fd89495912.zip | |
Merge pull request #1251 from shaarli/doc-update-php-compat
doc: update PHP compatibility table
Diffstat (limited to 'application/PluginManager.php')
0 files changed, 0 insertions, 0 deletions