]> git.joonet.de Git - adminer.git/commitdiff
Autoloaded plugins: Use in Editor
authorJakub Vrana <jakub@vrana.cz>
Wed, 19 Mar 2025 04:08:24 +0000 (05:08 +0100)
committerJakub Vrana <jakub@vrana.cz>
Wed, 19 Mar 2025 04:08:24 +0000 (05:08 +0100)
adminer/include/bootstrap.inc.php

index 0cc14345f4ad7f5799392200ce4671966e04d67e..5783f6c7e79ca967628420b7c92bde279434ebe1 100644 (file)
@@ -81,7 +81,7 @@ include "./include/adminer.inc.php";
 if (function_exists('adminer_object')) {
        $adminer = adminer_object();
 } elseif (is_dir("adminer-plugins") || file_exists("adminer-plugins.php")) {
-       include "./include/plugins.inc.php";
+       include "../adminer/include/plugins.inc.php";
        $adminer = new Plugins(null);
 } else {
        $adminer = new Adminer;