Safari detection

This commit is contained in:
Garvin Hicking
2003-07-07 12:13:01 +00:00
parent a7cd6d062a
commit b190b5ba2e
3 changed files with 7 additions and 1 deletions

View File

@@ -11,6 +11,8 @@ $Source$
* libraries/transformations/image_jpeg__inline.inc.php3, * libraries/transformations/image_jpeg__inline.inc.php3,
libraries/transformations/image_png__inline.inc.php3: Proper escaping libraries/transformations/image_png__inline.inc.php3: Proper escaping
of & of &
* libraries/common.lib.php3, libraries/defines.lib.php3: Safari detection,
smaller default font size (like OPERA). Bug #752646.
2003-07-07 Marc Delisle <lem9@users.sourceforge.net> 2003-07-07 Marc Delisle <lem9@users.sourceforge.net>
* libraries/auth/cookie.auth.lib.php3, config.inc.php3, user_password.php3, * libraries/auth/cookie.auth.lib.php3, config.inc.php3, user_password.php3,

View File

@@ -532,7 +532,7 @@ h1 {font-family: sans-serif; font-size: large; font-weight: bold}
// Some mac browsers need also smaller default fonts size (OmniWeb & // Some mac browsers need also smaller default fonts size (OmniWeb &
// Opera)... // Opera)...
else if (PMA_USR_OS == 'Mac' 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_size = 'x-small';
$font_biggest = 'large'; $font_biggest = 'large';
$font_bigger = 'medium'; $font_bigger = 'medium';

View File

@@ -94,6 +94,10 @@ if (!defined('PMA_USR_OS')) {
} else if (ereg('(Konqueror/)(.*)(;)', $HTTP_USER_AGENT, $log_version)) { } else if (ereg('(Konqueror/)(.*)(;)', $HTTP_USER_AGENT, $log_version)) {
define('PMA_USR_BROWSER_VER', $log_version[2]); define('PMA_USR_BROWSER_VER', $log_version[2]);
define('PMA_USR_BROWSER_AGENT', 'KONQUEROR'); define('PMA_USR_BROWSER_AGENT', 'KONQUEROR');
} 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)) { } 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_VER', $log_version[1]);
define('PMA_USR_BROWSER_AGENT', 'MOZILLA'); define('PMA_USR_BROWSER_AGENT', 'MOZILLA');