diff options
Diffstat (limited to 'themes/marvin/marvin.theme')
| -rw-r--r-- | themes/marvin/marvin.theme | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/themes/marvin/marvin.theme b/themes/marvin/marvin.theme index 0841b5d7d..ad62746fb 100644 --- a/themes/marvin/marvin.theme +++ b/themes/marvin/marvin.theme @@ -17,14 +17,12 @@ } function header($title = "") { - global $base_url; ?> <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html> <head> <?php print theme_head($main); ?> <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1" /> - <base href="<?php echo "$base_url/" ?>" /> <title> <?php if ($title) { |