type="text/javascript" is not needed and removing it makes file-size smaller/faster
@@ -1,7 +1,7 @@
<!DOCTYPE html>
<html>
<head>
- <script type="text/javascript"> window.location.href="index.php"; </script>
+ <script> window.location.href="index.php"; </script>
<meta http-equiv="refresh" content="0; URL=index.php">
</head>
</html>