From b6ac3f21816b974ca481dbfaeecae26d4cb458b1 Mon Sep 17 00:00:00 2001
From: Charlie Gordon <qemacs@chqrlie.org>
Date: Wed, 4 Jun 2014 08:24:26 +0000
Subject: [PATCH] add more html extensions

---
 htmlsrc.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/htmlsrc.c b/htmlsrc.c
index c219f5a..da59995 100644
--- a/htmlsrc.c
+++ b/htmlsrc.c
@@ -417,7 +417,7 @@ static CmdDef htmlsrc_commands[] = {
 
 ModeDef htmlsrc_mode = {
     .name = "html-src",
-    .extensions = "html|htm|asp|aspx|shtml|hta|htp|phtml|php|xml",
+    .extensions = "html|htm|asp|aspx|shtml|hta|htp|phtml|php|php3|php4|xml",
     .mode_probe = htmlsrc_mode_probe,
     .colorize_func = htmlsrc_colorize_line,
 };