]> git.joonet.de Git - adminer.git/commitdiff
Delete duplicate code
authorJakub Vrana <jakub@vrana.cz>
Tue, 9 Feb 2021 09:29:19 +0000 (10:29 +0100)
committerJakub Vrana <jakub@vrana.cz>
Tue, 9 Feb 2021 09:29:19 +0000 (10:29 +0100)
adminer/include/adminer.inc.php

index c5017331e7830cb08fe329b6ba34ccbd2bf9ad16..5d0aebb64e3e6f0501e2157f09ffbef45fa03b9f 100644 (file)
@@ -1066,8 +1066,3 @@ bodyLoad('<?php echo (is_object($connection) ? preg_replace('~^(\d\.?\d).*~s', '
        }
 
 }
-
-$adminer = (function_exists('adminer_object') ? adminer_object() : new Adminer);
-if ($adminer->operators === null) {
-       $adminer->operators = $operators;
-}