+\n";
+ print "
";
+ print "
";
+ $others = array();
+ foreach ($other_exts as $ex) {
+ $other_filename = str_replace('.png', $ex, $filename);
+ if (file_exists($other_filename)) {
+ array_push($others, "
[" . $ex . "]");
+ if ($ex != '.txt') array_push($displayed, $other_filename);
+ }
+ }
+ if ($others) print "
Also as ".implode(', ',$others)."
";
+ print "
";
+ }
+}
+?>
+
+