From fb509e2020aebbd5233cbe34f4992f3fc84174cc Mon Sep 17 00:00:00 2001 From: Marc Delisle Date: Sat, 18 Oct 2003 11:03:25 +0000 Subject: [PATCH] bug 821512 --- ChangeLog | 3 +++ libraries/common.lib.php3 | 4 +++- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index baf56a89c..68cbd59ac 100755 --- a/ChangeLog +++ b/ChangeLog @@ -5,6 +5,9 @@ phpMyAdmin - Changelog $Id$ $Source$ +2003-10-18 Marc Delisle + * libraries/common.lib.php3: bug 821512, Safari 1.0 v85.5 and fonts + 2003-10-17 Marc Delisle * browse_foreigners.php3: bug 825473: PMA_jsFormat() needed on alert() * tbl_query_box.php3, libraries/bookmark.lib.php3: diff --git a/libraries/common.lib.php3 b/libraries/common.lib.php3 index 07fa1d55c..32402dc3c 100644 --- a/libraries/common.lib.php3 +++ b/libraries/common.lib.php3 @@ -589,8 +589,10 @@ h1 {font-family: sans-serif; font-size: large; font-weight: bold} // Opera)... // and a beta version of Safari did also, but not the final 1.0 version // so I remove || PMA_USR_BROWSER_AGENT == 'SAFARI' + // but we got a report that Safari 1.0 build 85.5 needs it! + else if (PMA_USR_OS == 'Mac' - && (PMA_USR_BROWSER_AGENT == 'OMNIWEB' || PMA_USR_BROWSER_AGENT == 'OPERA')) { + && (PMA_USR_BROWSER_AGENT == 'OMNIWEB' || PMA_USR_BROWSER_AGENT == 'OPERA' || PMA_USR_BROWSER_AGENT == 'SAFARI')) { $font_size = 'x-small'; $font_biggest = 'large'; $font_bigger = 'medium';