From 64fa5e3cbde9c85abb3a9eb23a912102ea8d4338 Mon Sep 17 00:00:00 2001 From: Christoph Haas Date: Wed, 30 Nov 2016 11:13:03 +0100 Subject: [PATCH] Made download.php compatible to gentoo php --- .idea/workspace.xml | 68 ++++++++++++++++++++++++++------------------- php/download.php | 5 +++- 2 files changed, 43 insertions(+), 30 deletions(-) diff --git a/.idea/workspace.xml b/.idea/workspace.xml index e8fa7f4..1c9cffb 100644 --- a/.idea/workspace.xml +++ b/.idea/workspace.xml @@ -2,9 +2,7 @@ - - - + @@ -25,18 +23,6 @@ - - - - - - - - - - - - @@ -51,6 +37,30 @@ + + + + + + + + + + + + + + + + + + + + + + + + @@ -84,7 +94,6 @@ @@ -270,12 +280,12 @@