Call js.js(php) instead of js.js(html) when using html(php)

Mostly copied from css(php),
2025-09-17 05:52:02 +02:00 · 2012-05-13 01:38:13 +02:00
parent f17483d34f
commit 909d325468
2 changed files with 18 additions and 3 deletions
--- a/html.jsf
+++ b/html.jsf
@@ -172,7 +172,7 @@ done
 	*			stag_idle noeat recolor=-1
 	"-A-Za-z0-9._:"		stag_value

-:stag_end TagEdge
+:stag_end TagEdge
 .ifdef php
 	*	tag_begin	call=js.js(php)
 .else