2016-10-06 15:57:01 +00:00
< ? php
2021-06-28 13:13:56 +00:00
if ( ! defined ( 'CON_FRAMEWORK' )) {
die ( 'Illegal call' );
2016-10-06 15:57:01 +00:00
}
2021-08-23 13:38:26 +00:00
$editor = new cGuiSourceEditor ( $_REQUEST [ 'tmp_file' ]);
2016-10-06 15:57:01 +00:00
2021-08-23 13:38:26 +00:00
// Show notice message if backend_file_extension filter is active
if ( empty ( $_REQUEST [ 'tmp_file' ])) {
2016-10-06 15:57:01 +00:00
2021-08-23 13:38:26 +00:00
// Get system properties for extension filter
$backend_file_extensions = getSystemProperty ( 'backend' , 'backend_file_extensions' );
2021-06-28 13:13:56 +00:00
2021-08-23 13:38:26 +00:00
if ( $backend_file_extensions == " enabled " ) {
$editor -> displayInfo ( sprintf ( i18n ( " Currently only files with the extension %s are displayed in the menu. If you create files with a different extension, they will not be shown on the left side! " ), " html/tpl " ));
2016-10-06 15:57:01 +00:00
}
}
2021-08-23 13:38:26 +00:00
// Render source editor
$editor -> render ();