From e70801d40cc582f86f50607cd536364ce2c1ad97 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Michal=20=C4=8Ciha=C5=99?= Date: Wed, 12 Oct 2005 12:11:04 +0000 Subject: [PATCH] Use normal font sizes for Mozilla browsers. --- ChangeLog | 1 + libraries/common.lib.php | 3 ++- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/ChangeLog b/ChangeLog index 0a8a96dc0..146f7d93c 100755 --- a/ChangeLog +++ b/ChangeLog @@ -24,6 +24,7 @@ $Source$ * libraries/get_foreign.lib.php: Fix paging. * tbl_properties_links.php: Make drop and empty tabs lead to structure instead of SQL. + * libraries/common.lib.php: Use normal font sizes for Mozilla browsers. 2005-10-11 Marc Delisle * libraries/grab_globals.lib.php: bug #1322871, local file inclusion diff --git a/libraries/common.lib.php b/libraries/common.lib.php index 49ad5bcf8..f5a0f33b9 100644 --- a/libraries/common.lib.php +++ b/libraries/common.lib.php @@ -1105,7 +1105,8 @@ function PMA_setFontSizes() else if ((PMA_USR_OS == 'Mac' && ((PMA_USR_BROWSER_AGENT != 'IE' && PMA_USR_BROWSER_AGENT != 'MOZILLA') || PMA_USR_BROWSER_VER < 5)) - || PMA_USR_BROWSER_AGENT == 'KONQUEROR') { + || PMA_USR_BROWSER_AGENT == 'KONQUEROR' + || PMA_USR_BROWSER_AGENT == 'MOZILLA') { $font_size = 'medium'; $font_biggest = 'x-large'; $font_bigger = 'large';