Remove language=JavaScript attribute obsoleted in html5
authorBernie Innocenti <bernie@codewiz.org>
Tue, 24 Nov 2009 18:19:27 +0000 (13:19 -0500)
committerBernie Innocenti <bernie@codewiz.org>
Tue, 24 Nov 2009 18:19:27 +0000 (13:19 -0500)
geekigeeki.py

index 84cc9afa490ab574c859b4523ae124873b8e538a..83a8e8fb0a1fc48e2025cdb0f5778811f47a3a31 100755 (executable)
@@ -120,7 +120,7 @@ def send_guru(msg_text, msg_type):
     print(cgi.escape(msg_text))
     if msg_type == 'error':
         print '\n           Guru Meditation #DEADBEEF.ABADC0DE'
-    print('</pre><script language="JavaScript" type="text/javascript" src="%s" defer="defer"></script>' \
+    print('</pre><script type="text/javascript" src="%s" defer="defer"></script>' \
         % relative_url('sys/GuruMeditation.js'))
 
 def send_title(name, text="Limbo", msg_text=None, msg_type='error', writable=False, mtime=None):