See if PHP install cache works

Author: jspringe

.travis.yml

@@ -30,7 +30,7 @@ cache:
 
 before_install:
   # Install PHP and setup PATH
-  - if [ ! -f /c/tools/$PHP_DIR ]; then choco install php --version $PHP_VERSION -y; fi
+  - if [ ! -f "/c/tools/$PHP_DIR/php.ini" ]; then choco install php --version $PHP_VERSION -y; fi
   - export PATH=/c/tools/$PHP_DIR:$PATH;
   # Modify configuration
   - echo 'extension_dir="ext"' >> /c/tools/$PHP_DIR/php.ini;