2012-06-04 16:58:40 +02:00
< ? php
/*
FusionPBX
Version : MPL 1.1
The contents of this file are subject to the Mozilla Public License Version
1.1 ( the " License " ); you may not use this file except in compliance with
the License . You may obtain a copy of the License at
http :// www . mozilla . org / MPL /
Software distributed under the License is distributed on an " AS IS " basis ,
WITHOUT WARRANTY OF ANY KIND , either express or implied . See the License
for the specific language governing rights and limitations under the
License .
The Original Code is FusionPBX
The Initial Developer of the Original Code is
Mark J Crane < markjcrane @ fusionpbx . com >
2016-02-24 20:28:35 +01:00
Portions created by the Initial Developer are Copyright ( C ) 2008 - 2016
2012-06-04 16:58:40 +02:00
the Initial Developer . All Rights Reserved .
Contributor ( s ) :
Mark J Crane < markjcrane @ fusionpbx . com >
2012-11-24 06:23:48 +01:00
James Rose < james . o . rose @ gmail . com >
2012-06-04 16:58:40 +02:00
*/
include " root.php " ;
2013-07-06 08:03:27 +02:00
require_once " resources/require.php " ;
2013-07-06 07:50:55 +02:00
require_once " resources/check_auth.php " ;
2012-06-04 16:58:40 +02:00
if ( permission_exists ( 'script_editor_view' )) {
//access granted
}
else {
echo " access denied " ;
exit ;
}
2012-11-24 06:23:48 +01:00
//add multi-lingual support
2015-01-18 11:06:08 +01:00
$language = new text ;
$text = $language -> get ();
2012-11-24 06:23:48 +01:00
2016-02-25 09:19:24 +01:00
//set the directory title and mode
2013-05-25 18:19:40 +02:00
$_SESSION [ " app " ][ " edit " ][ " dir " ] = $_GET [ " dir " ];
2016-02-24 20:28:35 +01:00
$title = strtoupper ( $_GET [ " dir " ]);
unset ( $mode );
switch ( $_GET [ " dir " ]) {
2016-02-25 09:19:24 +01:00
case 'xml' : $mode = 'xml' ; break ;
case 'provision' : $mode = 'xml' ; break ;
case 'php' : $mode = 'php' ; break ;
case 'scripts' : $mode = 'lua' ; break ;
2016-02-24 20:28:35 +01:00
case 'grammar' : //use default
2016-02-25 09:19:24 +01:00
default : $mode = 'text' ;
2016-02-24 20:28:35 +01:00
}
2016-02-25 09:19:24 +01:00
// load editor preferences/defaults
$setting_size = ( $_SESSION [ " editor " ][ " font_size " ][ " text " ] != '' ) ? $_SESSION [ " editor " ][ " font_size " ][ " text " ] : '12px' ;
$setting_theme = ( $_SESSION [ " editor " ][ " theme " ][ " text " ] != '' ) ? $_SESSION [ " editor " ][ " theme " ][ " text " ] : 'cobalt' ;
$setting_invisibles = ( $_SESSION [ " editor " ][ " invisibles " ][ " boolean " ] != '' ) ? $_SESSION [ " editor " ][ " invisibles " ][ " boolean " ] : 'false' ;
$setting_indenting = ( $_SESSION [ " editor " ][ " indent_guides " ][ " boolean " ] != '' ) ? $_SESSION [ " editor " ][ " indent_guides " ][ " boolean " ] : 'false' ;
$setting_numbering = ( $_SESSION [ " editor " ][ " line_numbers " ][ " boolean " ] != '' ) ? $_SESSION [ " editor " ][ " line_numbers " ][ " boolean " ] : 'true' ;
$setting_preview = ( $_SESSION [ " editor " ][ " live_preview " ][ " boolean " ] != '' ) ? $_SESSION [ " editor " ][ " live_preview " ][ " boolean " ] : 'true' ;
2016-03-04 21:18:30 +01:00
//get and then set the favicon
if ( isset ( $_SESSION [ 'theme' ][ 'favicon' ][ 'text' ])){
$favicon = $_SESSION [ 'theme' ][ 'favicon' ][ 'text' ];
}
else {
$favicon = '<!--{project_path}-->/themes/enhanced/favicon.ico' ;
}
2016-02-24 20:28:35 +01:00
?>
2013-05-25 18:19:40 +02:00
2016-02-24 20:28:35 +01:00
< html >
< head >
< meta http - equiv = 'Content-Type' content = 'text/html; charset=UTF-8' />
2016-03-04 21:18:30 +01:00
< title >< ? php echo $title ; ?> </title>
< link rel = " icon " type = " image/x-icon " href = " <?php echo $favicon ; ?> " >
2016-02-24 20:28:35 +01:00
< script language = " JavaScript " type = " text/javascript " src = " <?php echo PROJECT_PATH; ?>/resources/jquery/jquery-1.11.1.js " ></ script >
< script language = " JavaScript " type = " text/javascript " >
function submit_check () {
if ( document . getElementById ( 'filepath' ) . value != '' ) {
document . getElementById ( 'editor_source' ) . value = editor . getSession () . getValue ();
return true ;
}
2016-02-25 18:28:33 +01:00
focus_editor ();
2016-02-24 20:28:35 +01:00
return false ;
2012-06-04 16:58:40 +02:00
}
2016-02-24 20:28:35 +01:00
function toggle_option ( opt ) {
switch ( opt ) {
2016-02-25 09:19:24 +01:00
case 'numbering' : toggle_option_do ( 'showLineNumbers' ); toggle_option_do ( 'fadeFoldWidgets' ); break ;
2016-02-24 20:28:35 +01:00
case 'invisibles' : toggle_option_do ( 'showInvisibles' ); break ;
case 'indenting' : toggle_option_do ( 'displayIndentGuides' ); break ;
}
2016-02-25 18:28:33 +01:00
focus_editor ();
2012-06-04 16:58:40 +02:00
}
2016-02-24 20:28:35 +01:00
function toggle_option_do ( opt_name ) {
var opt_val = editor . getOption ( opt_name );
editor . setOption ( opt_name , (( opt_val ) ? false : true ));
2012-06-04 16:58:40 +02:00
}
2016-02-24 20:28:35 +01:00
function toggle_sidebar () {
var td_sidebar = document . getElementById ( 'sidebar' );
td_sidebar . style . display = ( td_sidebar . style . display == '' ) ? 'none' : '' ;
2016-02-25 18:28:33 +01:00
focus_editor ();
2012-06-04 16:58:40 +02:00
}
2016-02-24 20:28:35 +01:00
function insert_clip ( before , after ) {
var selected_text = editor . session . getTextRange ( editor . getSelectionRange ());
editor . insert ( before + selected_text + after );
2016-02-25 18:28:33 +01:00
focus_editor ();
}
function focus_editor () {
2016-02-24 20:28:35 +01:00
editor . focus ();
2012-06-04 16:58:40 +02:00
}
2016-02-24 20:28:35 +01:00
</ script >
< style >
img . control {
cursor : pointer ;
width : auto ;
height : 23 px ;
border : none ;
opacity : 0.5 ;
}
img . control : hover {
opacity : 1.0 ;
}
div #editor {
box - shadow : 0 5 px 15 px #333;
}
</ style >
2012-06-04 16:58:40 +02:00
</ head >
2016-02-24 20:28:35 +01:00
< body style = 'padding: 0; margin: 0; overflow: hidden;' >
< table id = 'frame' cellpadding = '0' cellspacing = '0' border = '0' style = " height: 100%; width: 100%; " >
2012-06-04 16:58:40 +02:00
< tr >
2016-02-24 20:28:35 +01:00
< td id = 'sidebar' valign = 'top' style = " width: 300px; height: 100%; " >
< iframe id = 'file_list' src = 'filelist.php' style = 'border: none; height: 65%; width: 100%;' ></ iframe >< br >
< iframe id = 'clip_list' src = 'cliplist.php' style = 'border: none; border-top: 1px solid #ccc; height: calc(35% - 1px); width: 100%;' ></ iframe >
2012-06-04 16:58:40 +02:00
</ td >
2016-02-24 20:28:35 +01:00
< td align = 'right' valign = 'top' style = 'height: 100%;' >
< form style = 'margin: 0;' name = 'frm_edit' id = 'frm_edit' method = 'post' target = 'proc' action = 'filesave.php' onsubmit = " return submit_check(); " >
< textarea name = 'content' id = 'editor_source' style = 'display: none;' ></ textarea >
< input type = 'hidden' name = 'filepath' id = 'filepath' value = '' >
< table cellpadding = '0' cellspacing = '0' border = '0' style = 'width: 100%;' >
< tr >
< td valign = 'middle' >< img src = 'resources/images/icon_save.png' title = 'Save Changes [Ctrl+S]' class = 'control' onclick = " $ ('form#frm_edit').submit(); " ; ></ td >
2016-02-25 18:28:33 +01:00
< td align = 'left' valign = 'middle' width = '100%' style = 'padding: 0 4px 0 6px;' >< input id = 'current_file' type = 'text' style = 'height: 23px; width: 100%;' ></ td >
2016-02-24 20:28:35 +01:00
< td style = 'padding: 0;' >< img src = 'resources/images/blank.gif' style = 'width: 1px; height: 30px; border: none;' ></ td >
< td valign = 'middle' style = 'padding-left: 6px;' >< img src = 'resources/images/icon_sidebar.png' title = 'Toggle Side Bar [Ctrl+Q]' class = 'control' onclick = " toggle_sidebar(); " ></ td >
< td valign = 'middle' style = 'padding-left: 6px;' >< img src = 'resources/images/icon_numbering.png' title = 'Toggle Line Numbers' class = 'control' onclick = " toggle_option('numbering'); " ></ td >
< td valign = 'middle' style = 'padding-left: 6px;' >< img src = 'resources/images/icon_invisibles.png' title = 'Toggle Invisibles' class = 'control' onclick = " toggle_option('invisibles'); " ></ td >
< td valign = 'middle' style = 'padding-left: 6px;' >< img src = 'resources/images/icon_indenting.png' title = 'Toggle Indent Guides' class = 'control' onclick = " toggle_option('indenting'); " ></ td >
2016-02-24 22:44:32 +01:00
< td valign = 'middle' style = 'padding-left: 6px;' >< img src = 'resources/images/icon_replace.png' title = 'Show Find/Replace [Ctrl+H]' class = 'control' onclick = " editor.execCommand('replace'); " ></ td >
< td valign = 'middle' style = 'padding-left: 6px;' >< img src = 'resources/images/icon_goto.png' title = 'Show Go To Line' class = 'control' onclick = " editor.execCommand('gotoline'); " ></ td >
2016-02-24 20:28:35 +01:00
< td valign = 'middle' style = 'padding-left: 10px;' >
2016-02-25 18:28:33 +01:00
< select id = 'mode' style = 'height: 23px;' onchange = " editor.getSession().setMode('ace/mode/' + this.options[this.selectedIndex].value); focus_editor(); " >
2016-02-25 09:19:24 +01:00
< ? php
$modes [ 'php' ] = 'PHP' ;
$modes [ 'css' ] = 'CSS' ;
$modes [ 'html' ] = 'HTML' ;
$modes [ 'javascript' ] = 'JS' ;
$modes [ 'json' ] = 'JSON' ;
$modes [ 'ini' ] = 'Conf' ;
$modes [ 'lua' ] = 'Lua' ;
$modes [ 'text' ] = 'Text' ;
$modes [ 'xml' ] = 'XML' ;
$modes [ 'sql' ] = 'SQL' ;
$preview = ( $setting_preview == 'true' ) ? " onmouseover= \" editor.getSession().setMode('ace/mode/' + this.value); \" " : null ;
foreach ( $modes as $value => $label ) {
$selected = ( $value == $mode ) ? 'selected' : null ;
echo " <option value=' " . $value . " ' " . $selected . " " . $preview . " > " . $label . " </option> \n " ;
}
?>
2016-02-24 20:28:35 +01:00
</ select >
</ td >
< td valign = 'middle' style = 'padding-left: 4px;' >
2016-02-25 18:28:33 +01:00
< select id = 'size' style = 'height: 23px;' onchange = " document.getElementById('editor').style.fontSize = this.options[this.selectedIndex].value; focus_editor(); " >
2016-02-25 09:19:24 +01:00
< ? php
$sizes = explode ( ',' , '9px,10px,11px,12px,14px,16px,18px,20px' );
$preview = ( $setting_preview == 'true' ) ? " onmouseover= \" document.getElementById('editor').style.fontSize = this.value; \" " : null ;
if ( ! in_array ( $setting_size , $sizes )) {
echo " <option value=' " . $setting_size . " ' " . $preview . " > " . $setting_size . " </option> \n " ;
echo " <option value='' disabled='disabled'></option> \n " ;
}
foreach ( $sizes as $size ) {
$selected = ( $size == $setting_size ) ? 'selected' : null ;
echo " <option value=' " . $size . " ' " . $selected . " " . $preview . " > " . $size . " </option> \n " ;
}
?>
2016-02-24 20:28:35 +01:00
</ select >
</ td >
< td valign = 'middle' style = 'padding-left: 4px; padding-right: 4px;' >
2016-02-25 18:28:33 +01:00
< select id = 'theme' style = 'height: 23px;' onchange = " editor.setTheme('ace/theme/' + this.options[this.selectedIndex].value); focus_editor(); " >
2016-02-25 09:19:24 +01:00
< ? php
$themes [ 'Bright' ][ 'chrome' ] = 'Chrome' ;
$themes [ 'Bright' ][ 'clouds' ] = 'Clouds' ;
$themes [ 'Bright' ][ 'crimson_editor' ] = 'Crimson Editor' ;
$themes [ 'Bright' ][ 'dawn' ] = 'Dawn' ;
$themes [ 'Bright' ][ 'dreamweaver' ] = 'Dreamweaver' ;
$themes [ 'Bright' ][ 'eclipse' ] = 'Eclipse' ;
$themes [ 'Bright' ][ 'github' ] = 'GitHub' ;
$themes [ 'Bright' ][ 'iplastic' ] = 'IPlastic' ;
$themes [ 'Bright' ][ 'solarized_light' ] = 'Solarized Light' ;
$themes [ 'Bright' ][ 'textmate' ] = 'TextMate' ;
$themes [ 'Bright' ][ 'tomorrow' ] = 'Tomorrow' ;
$themes [ 'Bright' ][ 'xcode' ] = 'XCode' ;
$themes [ 'Bright' ][ 'kuroir' ] = 'Kuroir' ;
$themes [ 'Bright' ][ 'katzenmilch' ] = 'KatzenMilch' ;
$themes [ 'Bright' ][ 'sqlserver' ] = 'SQL Server' ;
$themes [ 'Dark' ][ 'ambiance' ] = 'Ambiance' ;
$themes [ 'Dark' ][ 'chaos' ] = 'Chaos' ;
$themes [ 'Dark' ][ 'clouds_midnight' ] = 'Clouds Midnight' ;
$themes [ 'Dark' ][ 'cobalt' ] = 'Cobalt' ;
$themes [ 'Dark' ][ 'idle_fingers' ] = 'idle Fingers' ;
$themes [ 'Dark' ][ 'kr_theme' ] = 'krTheme' ;
$themes [ 'Dark' ][ 'merbivore' ] = 'Merbivore' ;
$themes [ 'Dark' ][ 'merbivore_soft' ] = 'Merbivore Soft' ;
$themes [ 'Dark' ][ 'mono_industrial' ] = 'Mono Industrial' ;
$themes [ 'Dark' ][ 'monokai' ] = 'Monokai' ;
$themes [ 'Dark' ][ 'pastel_on_dark' ] = 'Pastel on dark' ;
$themes [ 'Dark' ][ 'solarized_dark' ] = 'Solarized Dark' ;
$themes [ 'Dark' ][ 'terminal' ] = 'Terminal' ;
$themes [ 'Dark' ][ 'tomorrow_night' ] = 'Tomorrow Night' ;
$themes [ 'Dark' ][ 'tomorrow_night_blue' ] = 'Tomorrow Night Blue' ;
$themes [ 'Dark' ][ 'tomorrow_night_bright' ] = 'Tomorrow Night Bright' ;
$themes [ 'Dark' ][ 'tomorrow_night_eighties' ] = 'Tomorrow Night 80s' ;
$themes [ 'Dark' ][ 'twilight' ] = 'Twilight' ;
$themes [ 'Dark' ][ 'vibrant_ink' ] = 'Vibrant Ink' ;
$preview = ( $setting_preview == 'true' ) ? " onmouseover= \" editor.setTheme('ace/theme/' + this.value); \" " : null ;
foreach ( $themes as $optgroup => $theme ) {
echo " <optgroup label=' " . $optgroup . " '> \n " ;
foreach ( $theme as $value => $label ) {
$selected = ( strtolower ( $label ) == strtolower ( $setting_theme )) ? 'selected' : null ;
echo " <option value=' " . $value . " ' " . $selected . " " . $preview . " > " . $label . " </option> \n " ;
}
echo " </optgroup> \n " ;
}
?>
2016-02-24 20:28:35 +01:00
</ select >
</ td >
</ tr >
</ table >
</ form >
< div id = 'editor' style = " text-align: left; width: 100%; height: calc(100% - 30px); font-size: 12px; " ></ div >
< iframe id = 'proc' name = 'proc' src = '#' style = 'display: none;' ></ iframe >
2012-06-04 16:58:40 +02:00
</ td >
</ tr >
</ table >
2016-02-24 20:28:35 +01:00
2016-02-24 22:44:32 +01:00
< script type = " text/javascript " src = " <?php echo PROJECT_PATH; ?>/resources/ace/ace.js " charset = " utf-8 " ></ script >
2016-02-24 20:28:35 +01:00
< script type = " text/javascript " >
//load ace editor
var editor = ace . edit ( " editor " );
editor . setOptions ({
2016-02-25 13:17:41 +01:00
mode : 'ace/mode/<?php echo $mode;?>' ,
2016-02-25 09:19:24 +01:00
theme : 'ace/theme/' + document . getElementById ( 'theme' ) . options [ document . getElementById ( 'theme' ) . selectedIndex ] . value ,
2016-02-24 20:28:35 +01:00
selectionStyle : 'text' ,
cursorStyle : 'smooth' ,
2016-02-25 13:17:41 +01:00
showInvisibles : < ? php echo $setting_invisibles ; ?> ,
displayIndentGuides : < ? php echo $setting_indenting ; ?> ,
showLineNumbers : < ? php echo $setting_numbering ; ?> ,
2016-02-24 20:28:35 +01:00
showGutter : true ,
scrollPastEnd : true ,
2016-02-25 13:17:41 +01:00
fadeFoldWidgets : < ? php echo $setting_numbering ; ?> ,
2016-02-24 20:28:35 +01:00
showPrintMargin : false ,
highlightGutterLine : false ,
useSoftTabs : false
});
2016-02-25 13:17:41 +01:00
document . getElementById ( 'editor' ) . style . fontSize = '<?php echo $setting_size;?>' ;
2016-02-25 18:28:33 +01:00
focus_editor ();
2016-04-01 01:11:37 +02:00
//prevent form submit with enter key on file path input
< ? php key_press ( 'enter' , 'down' , '#current_file' , null , null , 'return false;' , false ); ?>
2016-02-24 20:28:35 +01:00
2016-04-01 01:11:37 +02:00
//save file
< ? php key_press ( 'ctrl+s' , 'down' , 'window' , null , null , " $ ('form#frm_edit').submit(); return false; " , false ); ?>
//open file manager/clip library pane
< ? php key_press ( 'ctrl+q' , 'down' , 'window' , null , null , 'toggle_sidebar(); focus_editor(); return false;' , false ); ?>
2016-02-24 20:28:35 +01:00
//remove certain keyboard shortcuts
2016-02-25 09:19:24 +01:00
editor . commands . bindKey ( " Ctrl-T " , null ); //new browser tab
2016-02-24 20:28:35 +01:00
</ script >
2012-06-04 16:58:40 +02:00
</ body >
</ html >
