diff options
author | Michal Čihař <michal@cihar.com> | 2008-11-24 13:07:49 +0300 |
---|---|---|
committer | Michal Čihař <michal@cihar.com> | 2008-11-24 13:07:49 +0300 |
commit | 6a638ee908696b2e358c0f811786f2a92e1586d4 (patch) | |
tree | 9e3418a2b4433f4967d80dc012e4b9f14ec213d0 /server_variables.php | |
parent | 37315b0c794df16948dc189662907df26896bb72 (diff) |
Ignore some defines which configure what will be included.
Diffstat (limited to 'server_variables.php')
-rw-r--r-- | server_variables.php | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/server_variables.php b/server_variables.php index b1e930af59..9750228054 100644 --- a/server_variables.php +++ b/server_variables.php @@ -6,7 +6,8 @@ */ /** - * + * no need for variables importing + * @ignore */ if (! defined('PMA_NO_VARIABLES_IMPORT')) { define('PMA_NO_VARIABLES_IMPORT', true); |