jgen 2691a6bbdc Change PHP version check to use a configuration constant, rather than a hardcoded version in the code.
(As it seems this hardcoded version number is easy to forget about, and then it doesn't actually get updated..)
2017-03-11 18:34:36 -08:00
..
2016-06-18 06:16:28 +01:00
2016-06-19 23:05:57 +01:00
2014-04-29 01:33:03 -04:00
2015-07-19 14:46:28 +01:00
2017-03-09 22:28:48 -08:00
2016-07-03 12:07:54 +01:00
2016-06-18 19:00:56 +01:00
2015-09-12 11:43:28 +01:00