From 3efcd4d5b7a0a17f024e330841676c7372a7d477 Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Tue, 2 Aug 2011 17:49:00 +0200 Subject: [PATCH] Comment --- adminer/schema.inc.php | 1 - 1 file changed, 1 deletion(-) diff --git a/adminer/schema.inc.php b/adminer/schema.inc.php index aedd8cc9..31e61372 100644 --- a/adminer/schema.inc.php +++ b/adminer/schema.inc.php @@ -3,7 +3,6 @@ page_header(lang('Database schema'), "", array(), DB); $table_pos = array(); $table_pos_js = array(); -// saved in one cookie because there is a limit of 20 cookies per domain $name = "adminer_schema"; $SCHEMA = ($_GET["schema"] ? $_GET["schema"] : $_COOKIE[($_COOKIE["$name-" . DB] ? "$name-" . DB : $name)]); // $_COOKIE["adminer_schema"] was used before 3.2.0 //! ':' in table name preg_match_all('~([^:]+):([-0-9.]+)x([-0-9.]+)(_|$)~', $SCHEMA, $matches, PREG_SET_ORDER);