Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/lib/style.php
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-02-11 13:23:52 +0100
committerErich Eckner <git@eckner.net>2019-02-11 13:23:52 +0100
commit01ea7d28a961261f21f1d089b16fc7baae046953 (patch)
treed309eb8dca6ca6ebdecaf7a1ea7ea89697f9dcbd /lib/style.php
parent4b72898b92b88d1db5ec0d2f8507011b8ad653b0 (diff)
lib/style.php: allow for title without extension
Diffstat (limited to 'lib/style.php')
-rw-r--r--lib/style.php5
1 files changed, 4 insertions, 1 deletions
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" />