documentation/index_list.php

   1 <?php\r
   2 // Sanitize the input language code\r
   3 $lang_code = trim($_GET['lang']);\r
   4 \r
   5 if (!preg_match("/^[a-zA-Z]+(-)?([a-zA-Z0-9])*$/", $lang_code)) {\r
   6         unset($lang_code);\r
   7 }\r
   8 \r
   9 header('Location: index/index.php?'.$lang_code);\r
  10 exit;\r
  11 ?>