Move <script> Javascript highlighting from java.java(script) to js.js(html)

2026-09-19 17:06:39 +02:00 · 2012-05-13 01:05:48 +02:00
parent 370e61b5b2
commit f17483d34f
3 changed files with 18 additions and 7 deletions
@@ -174,7 +174,7 @@ done
 .ifdef php
 	*	tag_begin	call=php.php(script)
 .else
-	*	tag_begin	call=java.java(script)
+	*	tag_begin	call=js.js(html)
 .endif

 :stag_done TagEdge