--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/web/wp-admin/js/set-post-thumbnail.dev.js	Fri Mar 12 13:29:04 2010 +0000
@@ -0,0 +1,21 @@
+function WPSetAsThumbnail(id){
+	var $link = jQuery('a#wp-post-thumbnail-' + id);
+
+	$link.text( setPostThumbnailL10n.saving );
+	jQuery.post(ajaxurl, {
+		action:"set-post-thumbnail", post_id: post_id, thumbnail_id: id, cookie: encodeURIComponent(document.cookie)
+	}, function(str){
+		var win = window.dialogArguments || opener || parent || top;
+		$link.text( setPostThumbnailL10n.setThumbnail );
+		if ( str == '0' ) {
+			alert( setPostThumbnailL10n.error );
+		} else {
+			jQuery('a.wp-post-thumbnail').show();
+			$link.text( setPostThumbnailL10n.done );
+			$link.fadeOut( 2000 );
+			win.WPSetThumbnailID(id);
+			win.WPSetThumbnailHTML(str);
+		}
+	}
+	);
+}