From: Arthur Date: Wed, 15 Jul 2015 09:05:07 +0000 (+0200) Subject: Merge pull request #271 from virtualtam/php53 X-Git-Tag: v0.5.0~5 X-Git-Url: https://git.immae.eu/?a=commitdiff_plain;h=874f858b8fbacfcd31cd64e21555f03927d4e15a;hp=d1e2f8e52c931f84c11d4f54f32959710d528182;p=github%2Fshaarli%2FShaarli.git Merge pull request #271 from virtualtam/php53 PHP: ensure 5.3 compatibility ---