,<?php
$time = microtime(true);
for ($i = 0; $i < 10000; $i++) {
$array = [];
$str = '|' . implode('|', array_keys($_SERVER));
do {
if (false !== $pos = strpos($str, '|SCRIPT_')) {
if (false !== $pos2 = strpos($str, '|', $pos + 1)) {
$len = $pos2 - $pos - 1;
}
else {
$len = null;
}
$array[] = substr($str, $pos + 1, $len);
$str = $pos2 !== false ? substr($str, $pos2) : '';
}
} while ($pos !== false && $str);
}
var_dump($_SERVER, count($_SERVER), $array, microtime(true) - $time);
preferences:
36.12 ms | 402 KiB | 5 Q