Update index.php

This commit is contained in:
FusionPBX 2018-12-08 18:32:15 -07:00 committed by GitHub
parent f979392822
commit 1c2c1a778e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 0 deletions

View File

@ -169,6 +169,13 @@ else {
$modes['text'] = 'Text';
$modes['xml'] = 'XML';
$modes['sql'] = 'SQL';
$modes['sh'] = 'SH';
$modes['smarty'] = 'Smarty';
$modes['svg'] = 'SVG';
$modes['makefile'] = 'Makefile';
$modes['c_cpp'] = 'C';
$modes['c_cpp'] = 'CPP';
$modes['pgsql'] = 'PGSQL';
$preview = ($setting_preview == 'true') ? "onmouseover=\"editor.getSession().setMode('ace/mode/' + this.value);\"" : null;
foreach ($modes as $value => $label) {
$selected = ($value == $mode) ? 'selected' : null;