From 6ba762f8663b6c615aad0290a5eb0213ba90cac3 Mon Sep 17 00:00:00 2001 From: Peter Kokot Date: Wed, 24 Oct 2018 20:37:57 +0200 Subject: [PATCH] Remove redundant script type="text/javascript" attributes Omitted type means that script is JavaScript [1] and for HTML 5 browsers can be removed today. [1] https://developer.mozilla.org/en-US/docs/Web/HTML/Element/script --- include/footer.inc | 4 ++-- include/header.inc | 4 ++-- index.php | 2 +- 3 files changed, 5 insertions(+), 5 deletions(-) diff --git a/include/footer.inc b/include/footer.inc index 698c92c63..b09b2e638 100644 --- a/include/footer.inc +++ b/include/footer.inc @@ -83,12 +83,12 @@ ?> - + '."\n"; + echo ''."\n"; } ?> diff --git a/include/header.inc b/include/header.inc index aea5102f7..552fb2168 100644 --- a/include/header.inc +++ b/include/header.inc @@ -86,7 +86,7 @@ if (!isset($config["languages"])) { @@ -96,7 +96,7 @@ if (!isset($config["languages"])) { diff --git a/index.php b/index.php index 29db4a972..0358d9b8a 100644 --- a/index.php +++ b/index.php @@ -117,7 +117,7 @@ site_header("Hypertext Preprocessor", 'current' => 'home', 'headtags' => array( '', - ''