summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--IkiWiki/Plugin/mirrorlist.pm4
1 files changed, 2 insertions, 2 deletions
diff --git a/IkiWiki/Plugin/mirrorlist.pm b/IkiWiki/Plugin/mirrorlist.pm
index 92be7913e..f54d94ad5 100644
--- a/IkiWiki/Plugin/mirrorlist.pm
+++ b/IkiWiki/Plugin/mirrorlist.pm
@@ -40,7 +40,7 @@ sub pagetemplate (@) {
sub mirrorlist ($) {
my $page=shift;
- return "<p>".
+ return ($config{html5} ? '<nav id="mirrorlist">' : '<div>').
(keys %{$config{mirrorlist}} > 1 ? gettext("Mirrors") : gettext("Mirror")).
": ".
join(", ",
@@ -50,7 +50,7 @@ sub mirrorlist ($) {
qq{">$_</a>}
} keys %{$config{mirrorlist}}
).
- "</p>";
+ ($config{html5} ? '</nav>' : '</div>');
}
1