<?php 
 $func = $_GET["func"]; 
 header("Location: /manual/basics/default?func=".$func.""); 
 ?>
