]> git.joonet.de Git - adminer.git/commit
projects / adminer.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 27c5f6d) | patch
Rename highlight plugins
authorJakub Vrana <jakub@vrana.cz>
Thu, 19 Jun 2025 07:12:04 +0000 (09:12 +0200)
committerJakub Vrana <jakub@vrana.cz>
Thu, 19 Jun 2025 07:12:48 +0000 (09:12 +0200)
commit466eceff4059a85ce1998992a5c79d90e634c56a
treebe6bbada80d1ca3d4b67b98c20730349bbd064f2tree | snapshot
parent27c5f6d21bb6acc417457c5be29d6dc63667061ecommit | diff
Rename highlight plugins
plugins/codemirror.php [deleted file] blob | history
plugins/highlight-codemirror.php [new file with mode: 0644] blob
plugins/highlight-monaco.php [new file with mode: 0644] blob
plugins/highlight-prism.php [new file with mode: 0644] blob
plugins/monaco.php [deleted file] blob | history
plugins/prism.php [deleted file] blob | history
Sources of adminer, a webclient for database management systems.