diff options
| author | Dries Buytaert <dries@buytaert.net> | 2004-06-20 20:04:28 +0000 |
|---|---|---|
| committer | Dries Buytaert <dries@buytaert.net> | 2004-06-20 20:04:28 +0000 |
| commit | b713e3d489864d91bdb409fc4791cff404356fc2 (patch) | |
| tree | f2cfc19680e3f0427a6d8f9bcb6f704aaa84551b /update.php | |
| parent | c2d7419f23dd2929e7178e2f09f327e08faa348b (diff) | |
| download | brdo-b713e3d489864d91bdb409fc4791cff404356fc2.tar.gz brdo-b713e3d489864d91bdb409fc4791cff404356fc2.tar.bz2 | |
- Patch #8617 by TDobes: changes all gifs to pngs for better consistency (and
to get of proprietary formats).
- Added forum-sticky.png. Made by Steven.
Diffstat (limited to 'update.php')
| -rw-r--r-- | update.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update.php b/update.php index 4936880a5..82ba29327 100644 --- a/update.php +++ b/update.php @@ -45,7 +45,7 @@ function update_page_header($title) { </style> EOF; $output .= "</head><body>"; - $output .= "<div id=\"logo\"><a href=\"http://drupal.org/\"><img src=\"misc/druplicon-small.gif\" alt=\"Druplicon - Drupal logo\" title=\"Druplicon - Drupal logo\" /></a></div>"; + $output .= "<div id=\"logo\"><a href=\"http://drupal.org/\"><img src=\"misc/druplicon-small.png\" alt=\"Druplicon - Drupal logo\" title=\"Druplicon - Drupal logo\" /></a></div>"; $output .= "<div id=\"update\"><h1>$title</h1>"; return $output; } |