Index: src/wp-includes/class-wp-image-editor.php
===================================================================
--- src/wp-includes/class-wp-image-editor.php	(revision 25712)
+++ src/wp-includes/class-wp-image-editor.php	(working copy)
@@ -205,12 +205,12 @@
 	 */
 	public function set_quality( $quality ) {
 		/**
-		* Filter the default quality setting.
-		*
-		* @since 3.5.0
-		*
-		* @param int $quality Quality level between 0 (low) and 100 (high).
-		*/
+		 * Filter the default quality setting.
+		 *
+		 * @since 3.5.0
+		 *
+		 * @param int $quality Quality level between 0 (low) and 100 (high).
+		 */
 		$this->quality = apply_filters( 'wp_editor_set_quality', $quality );
 
 		return ( (bool) $this->quality );
@@ -261,14 +261,14 @@
 		// If not, choose a default instead.
 		if ( ! $this->supports_mime_type( $mime_type ) ) {
 			/**
-			* Filter default mime type prior to getting the file extension.
-			*
-			* @see wp_get_mime_types()
-			*
-			* @since 3.5.0
-			*
-			* @param string $mime_type Mime type string.
-			*/
+			 * Filter default mime type prior to getting the file extension.
+			 *
+			 * @see wp_get_mime_types()
+			 *
+			 * @since 3.5.0
+			 *
+			 * @param string $mime_type Mime type string.
+			 */
 			$mime_type = apply_filters( 'image_editor_default_mime_type', $this->default_mime_type );
 			$new_ext = $this->get_extension( $mime_type );
 		}