From: nodiscc Date: Sun, 6 Jan 2019 01:32:28 +0000 (+0000) Subject: Merge pull request #1251 from shaarli/doc-update-php-compat X-Git-Tag: v0.10.3~2^2~1 X-Git-Url: https://git.immae.eu/?p=github%2Fshaarli%2FShaarli.git;a=commitdiff_plain;h=a7c98a07d1c0f714bb06f22c0a1bc4fd89495912 Merge pull request #1251 from shaarli/doc-update-php-compat doc: update PHP compatibility table --- a7c98a07d1c0f714bb06f22c0a1bc4fd89495912