From 28f21aaa6cb23b5486ffa0b2361ff456d793d206 Mon Sep 17 00:00:00 2001 From: Jakub Vrana Date: Fri, 22 Oct 2010 23:07:30 +0200 Subject: [PATCH] Escape JavaScript strings (bug #3093243) --- adminer/include/adminer.inc.php | 2 +- adminer/include/functions.inc.php | 10 +++++++++- adminer/schema.inc.php | 2 +- adminer/script.inc.php | 8 ++++---- adminer/trigger.inc.php | 2 +- 5 files changed, 16 insertions(+), 8 deletions(-) diff --git a/adminer/include/adminer.inc.php b/adminer/include/adminer.inc.php index 56c55538..2b15cfd3 100644 --- a/adminer/include/adminer.inc.php +++ b/adminer/include/adminer.inc.php @@ -560,7 +560,7 @@ document.getElementById('username').focus(); $links[] = preg_quote($table, '/'); } echo "