mirror/php-adminer
1
0
Fork 0
mirror of https://github.com/vrana/adminer.git synced 2025-08-09 08:06:59 +02:00
Code Issues Releases Wiki Activity

Highlight keywords in PL/SQL CodeMirror

Browse Source
This commit is contained in:
Jakub Vrana
2012-05-13 22:56:56 -07:00
parent 5ac72dd739
commit 17ef1f0dfc
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
adminer/sql.inc.php
View File

@@ -224,7 +224,7 @@ if ($history) {
<script src="<?php echo "$codemirror_path/mode/$codemirror_mode/$codemirror_mode.js"; ?>"></script> <script src="<?php echo "$codemirror_path/mode/$codemirror_mode/$codemirror_mode.js"; ?>"></script>
<script type="text/javascript"> <script type="text/javascript">
if (window.CodeMirror) { if (window.CodeMirror) {
var codeMirror = CodeMirror.fromTextArea(document.getElementById('query')); var codeMirror = CodeMirror.fromTextArea(document.getElementById('query'), { mode: 'text/x-<?php echo $codemirror_mode; ?>' });
<?php foreach ($error_lines as $line) { ?>codeMirror.setLineClass(<?php echo $line; ?>, '', 'error');<?php } ?> <?php foreach ($error_lines as $line) { ?>codeMirror.setLineClass(<?php echo $line; ?>, '', 'error');<?php } ?>
} }
</script> </script>