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

AdminerPrism: Add border and resize

Browse Source
This commit is contained in:
Jakub Vrana
2025-04-01 12:31:45 +02:00
parent b386463dcf
commit a03b05ceb4
1 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
plugins/prism.php
View File

@@ -20,8 +20,11 @@ class AdminerPrism {
function syntaxHighlighting($tableStatuses) { function syntaxHighlighting($tableStatuses) {
?> ?>
<link rel="stylesheet" href="<?php echo $this->editorRoot; ?>/layout.min.css"> <style>
<link rel="stylesheet" href="<?php echo $this->editorRoot; ?>/themes/<?php echo $this->theme . $this->minified; ?>.css"> @import url(<?php echo "$this->editorRoot/layout$this->minified.css"; ?>);
@import url(<?php echo "$this->editorRoot/themes/$this->theme$this->minified.css"; ?>);
.prism-code-editor { border: 1px inset #ccc; resize: both; }
</style>
<script type="module"<?php echo Adminer\nonce(); ?>> <script type="module"<?php echo Adminer\nonce(); ?>>
import { editorFromPlaceholder } from '<?php echo $this->editorRoot; ?>/index.js'; import { editorFromPlaceholder } from '<?php echo $this->editorRoot; ?>/index.js';
import { highlightText } from '<?php echo $this->editorRoot; ?>/prism/index.js'; import { highlightText } from '<?php echo $this->editorRoot; ?>/prism/index.js';