Move option-dependent constants to getopt

.phpenv

@@ -19,20 +19,6 @@
 
 	$REPOSITORY_CANONICAL_URL="https://codeberg.org/gravel/sessioncommunities.online";
 
-	// set timeout for file_get_contents()
-	ini_set('default_socket_timeout', 6); // in seconds, default is 60
-
-	// curl timeout in milliseconds
-
-	// max time for initiation of the connection
-	$CURL_CONNECT_TIMEOUT_MS = 2000;
-
-	// max time for each connection (incl. transfer)
-	$CURL_TIMEOUT_MS = $FAST_FETCH_MODE ? 1500 : 3000;
-
-	// delay between retries in miliseconds
-	$CURL_RETRY_SLEEP = 2000;
-
 	// do not report warnings (timeouts, SSL/TLS errors)
 	error_reporting(E_ALL & ~E_WARNING);
 

php/utils/getopt.php

@@ -14,4 +14,18 @@
 	if (isset($options["no-color"])) {
 		LoggingVerbosity::$showColor = false;
 	}
+
+	// set timeout for file_get_contents()
+	ini_set('default_socket_timeout', 6); // in seconds, default is 60
+
+	// curl timeout in milliseconds
+
+	// max time for initiation of the connection
+	$CURL_CONNECT_TIMEOUT_MS = 2000;
+
+	// max time for each connection (incl. transfer)
+	$CURL_TIMEOUT_MS = $FAST_FETCH_MODE ? 1500 : 3000;
+
+	// delay between retries in miliseconds
+	$CURL_RETRY_SLEEP = 2000;
 ?>