diff options
Diffstat (limited to 'PHP_CompatInfo-conf.patch')
| -rw-r--r-- | PHP_CompatInfo-conf.patch | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/PHP_CompatInfo-conf.patch b/PHP_CompatInfo-conf.patch deleted file mode 100644 index 2aa82ae..0000000 --- a/PHP_CompatInfo-conf.patch +++ /dev/null @@ -1,18 +0,0 @@ ---- PHP_CompatInfo-2.19.0/phpcompatinfo.xml.dist 2013-07-11 22:21:27.000000000 +0200 -+++ PHP_CompatInfo-2.19.0/phpcompatinfo.xml 2013-07-12 08:22:34.529605184 +0200 -@@ -5,13 +5,14 @@ - reportFileAppend="false" - cacheDriver="file" - recursive="false" -- fileExtensions="php, inc, phtml" -+ fileExtensions="php, inc, phtml, module, install" - consoleProgress="true" - verbose="false" - > - - <cache id="file"> - <options> -+ <save_path>/tmp/phpci-%{USER}</save_path> - <gc_probability>1</gc_probability> - <gc_maxlifetime>86400</gc_maxlifetime> - </options> |