(in 2.5.2) Safari: Browser font sizes on Mac too big

Logged In: YES
user_id=473563

Because I have no Mac to test this, could you please to the
following:

Open your libraries/common.lib.php file. Search for this string:

-----------------
&& (PMA_USR_BROWSER_AGENT == 'OMNIWEB'
|| PMA_USR_BROWSER_AGENT == 'OPERA')) {
-----------------

and replace this with:

-----------------
&& (PMA_USR_BROWSER_AGENT == 'OMNIWEB'
|| PMA_USR_BROWSER_AGENT == 'OPERA'
|| PMA_USR_BROWSER_AGENT == 'SAFARI')) {
-----------------

Then open your libraries/defines.lib.php file and search for:

-----------------
} else if (ereg('Mozilla/([0-9].[0-9]{1,2})',
$HTTP_USER_AGENT, $log_version)) {
define('PMA_USR_BROWSER_VER', $log_version[1]);
define('PMA_USR_BROWSER_AGENT', 'MOZILLA');
} else {
-----------------

and replace that with:

-----------------
} else if (ereg('Mozilla/([0-9].[0-9]{1,2})',
$HTTP_USER_AGENT, $log_version) && ereg('Safari/([0-9]*)',
$HTTP_USER_AGENT, $log_version2)) {
define('PMA_USR_BROWSER_VER', $log_version[1] . '.'
. $log_version2[1]);
define('PMA_USR_BROWSER_AGENT', 'SAFARI');
} else if (ereg('Mozilla/([0-9].[0-9]{1,2})',
$HTTP_USER_AGENT, $log_version)) {
define('PMA_USR_BROWSER_VER', $log_version[1]);
define('PMA_USR_BROWSER_AGENT', 'MOZILLA');
} else {
-----------------

Then please tell if this works out for you, so we can put it
in our official release... Thanks!

Logged In: YES
user_id=473563

Hello?

Has anybody gotten to try the new safari detection? :)

Logged In: YES
user_id=602594

Default text size in the 1.0 release of Safari changed to Times 16.
the agent string is now:
"Mozilla/5.0 (Macintosh; U; PPC Mac OS X; en-us) AppleWebKit/85
(KHTML, like Gecko) Safari/85"
All versions prior to this are expiring betas, so no effort should be
made to retain compatibility with them.
Now that MacIE is deprecated, Safari should be considered
definitive for MacOS X compatibility. Conveniently enough, it's
most like Mozilla in rendering habits.

Logged In: YES
user_id=602594

I manually pasted in those changes - I can't actually tell if it's
doing anything different to before, but it seems to work OK in
Safari, but I didn't have a problem with text size before.

Logged In: YES
user_id=602594

Actually, revise that - must have had some cached pages or
something. It now appears with smaller text in Safari, so the
changes must be working.

Logged In: YES
user_id=473563

Okay, I've put the detection into cvs.