From dd0c883ad62c5d4efcffdb75c905001acceb285e Mon Sep 17 00:00:00 2001 From: Marc Delisle Date: Mon, 3 Mar 2008 17:29:27 +0000 Subject: [PATCH] fixed bug #1901687 (undefined variable 'type') --- arctic_ocean/css/theme_right.css.php | 58 +++++++++++++++------------- arctic_ocean/readme.txt | 3 ++ 2 files changed, 34 insertions(+), 27 deletions(-) diff --git a/arctic_ocean/css/theme_right.css.php b/arctic_ocean/css/theme_right.css.php index a21201986..a0b2ef20f 100644 --- a/arctic_ocean/css/theme_right.css.php +++ b/arctic_ocean/css/theme_right.css.php @@ -12,20 +12,20 @@ exit(); } - // 2007-05-10 (mkkeck) - // Added some special fixes - // for better behaviors on old IE + // mkkeck: 2007-05-10 + // Added some special fixes + // for better behaviors on old IE $forIE = false; if (defined('PMA_USR_BROWSER_AGENT') && PMA_USR_BROWSER_AGENT == 'IE' && PMA_USR_BROWSER_VER < 7) { $forIE = true; } - // 2007-08-24 (mkkeck) - // Get the whole http_url for the images + // mkkeck: 2007-08-24 + // Get the whole http_url for the images $ipath = $_SESSION['PMA_Theme']->getImgPath(); // 2007-08-24 (mkkeck) - // Get font-sizes + // Get font-sizes $pma_fsize = $_SESSION['PMA_Config']->get('fontsize'); $pma_fsize = preg_replace("/[^0-9]/", "", $pma_fsize); if (!empty($pma_fsize)) { @@ -50,8 +50,8 @@ $fsize = number_format( (intval($usr_fsize) * $pma_fsize), 0 ); } - // 2007-05-10 (mkkeck) - // Get the file name for the css-style + // mkkeck: 2007-05-10 + // Get the file name for the css-style // TODO: // replace on /libraries/header_meta_style.inc.php // echo '