diff --git a/app/exec/exec.php b/app/exec/exec.php
index 299ca2a07e..437a321e8e 100644
--- a/app/exec/exec.php
+++ b/app/exec/exec.php
@@ -106,7 +106,7 @@ else {
break;
case 'php':
document.getElementById('description').innerHTML = "";
- editor.getSession().setMode('ace/mode/php');
+ editor.getSession().setMode({path:'ace/mode/php', inline:true}); //highlight without opening tag
$('#mode option[value=php]').prop('selected',true);
break;
case 'shell':
@@ -196,7 +196,7 @@ else {
![Show Find/Replace [Ctrl+H]](resources/images/icon_replace.png) |
 |
- |
-
+
";
echo " \n";
@@ -311,6 +313,7 @@ else {
highlightGutterLine: false,
useSoftTabs: false
});
+ editor.getSession().setMode({path:'ace/mode/php', inline:true});
document.getElementById('editor').style.fontSize='';
focus_editor();
@@ -345,7 +348,6 @@ else {
eval($cmd);
$result = ob_get_contents();
ob_end_clean();
- $result = htmlentities($result);
}
break;
case 'switch':