-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 On 07/28/2015 05:22 PM, Johannes Schlüter wrote: > An approach might be to remove the automatic download and > instructing the user to put the file there manually if this is seen > as important.
+1 -- PHP Internals - PHP Runtime Development Mailing List To unsubscribe, visit: http://www.php.net/unsub.php
