+ list($filename, $width, $height) = $fields;
+ $filename = format_path($filename);
+ $width = format_int_0($width);
+ $height = format_int_0($height);
+
+ return "$filename $width $height";
+}
+
+function format_image_w_h_thumb_w_h($str) {
+ $fields = explode(' ', $str);
+ if(count($fields) != 6) {
+ die('count: ' . count($fields));
+ return '';
+ }
+
+ list($filename, $width, $height, $thumb_filename, $thumb_width, $thumb_height) = $fields;
+ $filename = format_path($filename);