diff options
author | Dan Ungureanu <udan1107@gmail.com> | 2015-07-25 14:26:22 +0300 |
---|---|---|
committer | Dan Ungureanu <udan1107@gmail.com> | 2015-07-25 19:39:34 +0300 |
commit | e1a8402654ea7ee50105aa1dc4e460698500d65b (patch) | |
tree | 409d44b1b4878160fd8bb2cc99d0ce9a36904b40 /lint.php | |
parent | 796fb97cbef0330f2e969f24b1cdf0123e1c419c (diff) |
Avoid redefinition.
Signed-off-by: Dan Ungureanu <udan1107@gmail.com>
Diffstat (limited to 'lint.php')
-rw-r--r-- | lint.php | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -6,7 +6,9 @@ * @package PhpMyAdmin */ -define('PHPMYADMIN', true); +if (!defined('PHPMYADMIN')) { + define('PHPMYADMIN', true); +} /** * The SQL query to be analyzed. |