Turn <image> tag into <img>.

Not sure how I managed to write the former by mistake, but I didn't
notice because browsers didn't immediately complain. Still, James
Harvey points out, it ought to be turned into the actually
standards-compliant spelling of the tag. Ahem.
This commit is contained in:
Simon Tatham
2015-02-08 22:52:20 +00:00
parent 362bf8d450
commit f1e68fb516

View File

@ -27,7 +27,7 @@ while (<$desc>) {
'<span class="puzzle"><table>'. '<span class="puzzle"><table>'.
'<tr><th align="center">%s</th></tr>'. '<tr><th align="center">%s</th></tr>'.
'<tr><td align="center">'. '<tr><td align="center">'.
'<image style="margin: 0.5em" alt="" title="%s" width=150 height=150 border=0 src="%s-web.png" />'. '<img style="margin: 0.5em" alt="" title="%s" width=150 height=150 border=0 src="%s-web.png" />'.
'</td></tr>'. '</td></tr>'.
'<tr><td align="center" style="font-size: 70%%"><code>[</code>'. '<tr><td align="center" style="font-size: 70%%"><code>[</code>'.
' <a href="java/%s.html">java</a> '. ' <a href="java/%s.html">java</a> '.