| index : website | |
| Archlinux32 website - obsolete | gitolite user |
| summaryrefslogtreecommitdiff |
| author | Erich Eckner <git@eckner.net> | 2019-02-11 13:23:52 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2019-02-11 13:23:52 +0100 |
| commit | 01ea7d28a961261f21f1d089b16fc7baae046953 (patch) | |
| tree | d309eb8dca6ca6ebdecaf7a1ea7ea89697f9dcbd /lib/style.php | |
| parent | 4b72898b92b88d1db5ec0d2f8507011b8ad653b0 (diff) | |
| -rw-r--r-- | lib/style.php | 5 |
diff --git a/lib/style.php b/lib/style.php index 3527994..ea7d4b2 100644 --- a/lib/style.php +++ b/lib/style.php @@ -11,7 +11,10 @@ function print_header($title) { <html lang="en"> <head> <meta charset="utf-8" /> - <title>Arch Linux 32 - <?php print $title; ?></title> + <title>Arch Linux 32<?php +if (!empty($title)) + print " - " . $title; +?></title> <link rel="stylesheet" type="text/css" href="/static/archweb.css" media="screen, projection" /> <link rel="icon" type="image/x-icon" href="/static/favicon.ico" /> <link rel="shortcut icon" type="image/x-icon" href="/static/favicon.ico" /> |