1
0
mirror of https://github.com/php/web-php.git synced 2026-03-23 23:02:13 +01:00

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
This commit is contained in:
Peter Kokot
2018-10-24 20:37:57 +02:00
parent b5edd2d17b
commit 6ba762f866
3 changed files with 5 additions and 5 deletions

View File

@@ -117,7 +117,7 @@ site_header("Hypertext Preprocessor",
'current' => 'home',
'headtags' => array(
'<link rel="alternate" type="application/atom+xml" title="PHP: Hypertext Preprocessor" href="' . $MYSITE . 'feed.atom">',
'<script type="text/javascript">',
'<script>',
"function okc(f){var c=[38,38,40,40,37,39,37,39,66,65,13],x=function(){x.c=x.c||Array.apply({},c);x.r=function(){x.c=null};return x.c},h=function(e){if(x()[0]==(e||window.event).keyCode){x().shift();if(!x().length){x.r();f()}}else{x.r()}};window.addEventListener?window.addEventListener('keydown',h,false):document.attachEvent('onkeydown',h)}",
"okc(function(){if(document.getElementById){i=document.getElementById('phplogo');i.src='".$MYSITE."images/php_konami.gif'}});",
'</script>'