]> git.immae.eu Git - github/shaarli/Shaarli.git/commitdiff
Merge pull request #1251 from shaarli/doc-update-php-compat
authornodiscc <nodiscc@gmail.com>
Sun, 6 Jan 2019 01:32:28 +0000 (01:32 +0000)
committerGitHub <noreply@github.com>
Sun, 6 Jan 2019 01:32:28 +0000 (01:32 +0000)
doc: update PHP compatibility table


Trivial merge