Changeset 3877:e68b76561491 for build-tools/setup.php
- Timestamp:
- 09/17/18 05:52:14 (7 years ago)
- Branch:
- default
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
build-tools/setup.php
r3874 r3877 12 12 $php_exec = $_SERVER['_']; 13 13 14 $opts = [15 'http' => []16 ];14 $opts = array( 15 'http' => array() 16 ); 17 17 if (getenv('http_proxy') !== false) { 18 18 $opts['http']['proxy'] = 'tcp://' . getenv('http_proxy');
Note: See TracChangeset
for help on using the changeset viewer.