]> git.joonet.de Git - adminer.git/commitdiff
Comment
authorJakub Vrana <jakub@vrana.cz>
Fri, 17 Dec 2010 15:27:01 +0000 (16:27 +0100)
committerJakub Vrana <jakub@vrana.cz>
Fri, 17 Dec 2010 16:13:07 +0000 (17:13 +0100)
adminer/include/bootstrap.inc.php

index f141bd40ce1f68ffec4ae71f2d2b3b5c3273aed4..61e18ca2842fe5e1d9215557b4625a6e49e41fcd 100644 (file)
@@ -21,7 +21,7 @@ if (isset($_GET["file"])) {
 
 include "../adminer/include/functions.inc.php";
 
-global $adminer, $connection, $drivers, $edit_functions, $enum_length, $error, $functions, $grouping, $HTTPS, $inout, $jush, $LANG, $langs, $on_actions, $structured_types, $token, $translations, $types, $unsigned, $VERSION;
+global $adminer, $connection, $drivers, $edit_functions, $enum_length, $error, $functions, $grouping, $HTTPS, $inout, $jush, $LANG, $langs, $on_actions, $structured_types, $token, $translations, $types, $unsigned, $VERSION; // allows including Adminer inside a function
 if (!isset($_SERVER["REQUEST_URI"])) {
        $_SERVER["REQUEST_URI"] = $_SERVER["ORIG_PATH_INFO"] . ($_SERVER["QUERY_STRING"] != "" ? "?$_SERVER[QUERY_STRING]" : ""); // IIS 5 compatibility
 }