From ad9732ae4c8b9af8d9f549cfbd24ca33658b17e5 Mon Sep 17 00:00:00 2001
From: Marijn Haverbeke <marijn@haverbeke.nl>
Date: Thu, 21 Sep 2017 08:15:18 +0200
Subject: [PATCH] [php mode] Allow overriding the HTML mode spec
Issue #4987
---
mode/php/php.js | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/mode/php/php.js b/mode/php/php.js
index 57ba812d7..589c9a663 100644
--- a/mode/php/php.js
+++ b/mode/php/php.js
@@ -151,7 +151,7 @@
};
CodeMirror.defineMode("php", function(config, parserConfig) {
- var htmlMode = CodeMirror.getMode(config, "text/html");
+ var htmlMode = CodeMirror.getMode(config, (parserConfig && parserConfig.htmlMode) || "text/html");
var phpMode = CodeMirror.getMode(config, phpConfig);
function dispatch(stream, state) {
--
GitLab