fixed patch display...

doc/bugs/html5_time_element__39__s_pubdate_wrong_when_using_xhtml5___34__mode__34__.mdwn

@@ -10,6 +10,8 @@ Otherwise the XML parser chokes.
 
 <http://www.whatwg.org/specs/web-apps/current-work/multipage/text-level-semantics.html#attr-time-pubdate>
 
+(indented exactly 4 spaces)
+
 <pre>
     diff --git a/IkiWiki.pm b/IkiWiki.pm
     index 1f2ab07..6ab5b56 100644
@@ -18,10 +20,10 @@ index 1f2ab07..6ab5b56 100644
     @@ -1004,7 +1004,7 @@ sub displaytime ($;$$) {
         my $time=formattime($_[0], $_[1]);
         if ($config{html5}) {
-        return '<time datetime="'.date_3339($_[0]).'"'.
+            return '&lt;time datetime="'.date_3339($_[0]).'"'.
     -         ($_[2] ? ' pubdate' : '').
     +           ($_[2] ? ' pubdate="'.date_3339($_[0]).'"' : '').
-            '>'.$time.'</time>';
+                '>'.$time.'&lt;/time&gt;';
         }
         else {
     diff --git a/IkiWiki/Plugin/relativedate.pm b/IkiWiki/Plugin/relativedate.pm
@@ -31,10 +33,10 @@ index fe8ef09..8c4a1b4 100644
     @@ -59,7 +59,7 @@ sub mydisplaytime ($;$$) {
      
         if ($config{html5}) {
-        return '<time datetime="'.IkiWiki::date_3339($time).'"'.
+            return '&lt;time datetime="'.IkiWiki::date_3339($time).'"'.
--         ($pubdate ? ' pubdate' : '').$mid.'</time>';
+    -         ($pubdate ? ' pubdate' : '').$mid.'&lt;/time&gt;';
-+           ($pubdate ? ' pubdate="'.IkiWiki::date_3339($time).'"' : '').$mid.'</time>';
+    +           ($pubdate ? ' pubdate="'.IkiWiki::date_3339($time).'"' : '').$mid.'&lt;/time&gt;';
         }
         else {
-        return '<span'.$mid.'</span>';
+            return '&lt;span'.$mid.'&lt;/span&gt;';
 </pre>