Exemple #1
0
 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"]);
     }
 }