print_wiki.c: there is only one way to represent time

ISO 8601.

Corresponding to flashrom svn r1817.
Signed-off-by: Stefan Tauner <stefan.tauner@alumni.tuwien.ac.at>
Acked-by: Stefan Tauner <stefan.tauner@alumni.tuwien.ac.at>

print_wiki.c

@@ -31,7 +31,7 @@ static const char wiki_header[] = "= Supported devices =\n\n\
 <div style=\"margin-top:0.5em; padding:0.5em 0.5em 0.5em 0.5em; \
 background-color:#eeeeee; text-align:left; border:1px solid #aabbcc;\">\
 <small>\n\
-'''Last update:''' %s(generated by flashrom %s)<br />\n\
+'''Last update:''' %s (generated by flashrom %s)<br />\n\
 The tables below are generated from flashrom's source by copying the output of '''flashrom -z'''.<br /><br />\n\
 A short explanation of the cells representing the support state follows:<br />\n\
 {| border=\"0\" valign=\"top\"\n\
@@ -443,8 +443,10 @@ static void print_supported_devs_wiki()
 void print_supported_wiki(void)
 {
 	time_t t = time(NULL);
+	char buf[sizeof("1986-02-28T12:37:42Z")];
+	strftime(buf, sizeof(buf), "%Y-%m-%dT%H:%M:%SZ", gmtime(&t));
 
-	printf(wiki_header, ctime(&t), flashrom_version);
+	printf(wiki_header, buf, flashrom_version);
 	print_supported_chips_wiki(2);
 #if CONFIG_INTERNAL == 1
 	print_supported_chipsets_wiki(3);