$sayfa_adresi = $_SERVER["HTTP_HOST"].$_SERVER["REQUEST_URI"];
$parse = parse_url($sayfa_adresi);
if(substr($parse['path'], -4) != 'html'){
header("Location:/ders/{$_GET['id']}/{$_GET['title']}.html");
exit;
}