<?php
define("BASE", __DIR__);

$old = '';
while ($old != $_SERVER['QUERY_STRING']) {
  $old = $_SERVER['QUERY_STRING'];
  $_SERVER['QUERY_STRING'] = urldecode($_SERVER['QUERY_STRING']);
}
$_SERVER['QUERY_STRING'] = htmlentities($_SERVER['QUERY_STRING']);

$old = '';
while ($old != $_SERVER['REQUEST_URI']) {
  $old = $_SERVER['REQUEST_URI'];
  $_SERVER['REQUEST_URI'] = urldecode($_SERVER['REQUEST_URI']);
}
$_SERVER['REQUEST_URI'] = htmlentities($_SERVER['REQUEST_URI']);

foreach ($_GET as $key => $val) {
  $old = '';
  while ($old != $_GET[$key]) {
    $old = $_GET[$key];
    $_GET[$key] = urldecode($_GET[$key]);
  }
  $_GET[$key] = htmlentities($_GET[$key]);
}