function push($queryString) { global $locationHistoryLimit; if (!isset($_SESSION["locations"])) { LocationHistory::reset(); } if (end($_SESSION["locations"]) !== $queryString && !preg_match("/\\.(css|ico|js|jpg|gif|png)\$/i", $queryString)) { array_push($_SESSION["locations"], $queryString); } if (count($_SESSION["locations"]) > $locationHistoryLimit) { array_shift($_SESSION["locations"]); } }