--- a/wp/wp-admin/js/set-post-thumbnail.js	Mon Jun 08 16:11:51 2015 +0000
+++ b/wp/wp-admin/js/set-post-thumbnail.js	Tue Jun 09 03:35:32 2015 +0200
@@ -1,9 +1,12 @@
-function WPSetAsThumbnail(id, nonce){
+/* global setPostThumbnailL10n, ajaxurl, post_id, alert */
+/* exported WPSetAsThumbnail */
+
+function WPSetAsThumbnail( id, nonce ) {
 	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, _ajax_nonce: nonce, cookie: encodeURIComponent(document.cookie)
+		action: 'set-post-thumbnail', post_id: post_id, thumbnail_id: id, _ajax_nonce: nonce, cookie: encodeURIComponent( document.cookie )
 	}, function(str){
 		var win = window.dialogArguments || opener || parent || top;
 		$link.text( setPostThumbnailL10n.setThumbnail );