Code Editor: Disable `attr-value-double-quotes` HTMLHint rule since too strict for user input.

Using single-quoted attribute values is not in any way invalid HTML.

Amends [41376].
Props sasiddiqui.
See #12423.
Fixes #42802.

Built from https://develop.svn.wordpress.org/trunk@42531


git-svn-id: http://core.svn.wordpress.org/trunk@42360 1a063a9b-81f0-0310-95a4-ce76da25c4cd

wp-includes/general-template.php

@@ -3250,7 +3250,7 @@ function wp_enqueue_code_editor( $args ) {
 		'htmlhint'   => array(
 			'tagname-lowercase'        => true,
 			'attr-lowercase'           => true,
-			'attr-value-double-quotes' => true,
+			'attr-value-double-quotes' => false,
 			'doctype-first'            => false,
 			'tag-pair'                 => true,
 			'spec-char-escape'         => true,

wp-includes/version.php

@@ -4,7 +4,7 @@
  *
  * @global string $wp_version
  */
-$wp_version = '5.0-alpha-42530';
+$wp_version = '5.0-alpha-42531';
 
 /**
  * Holds the WordPress DB revision, increments when changes are made to the WordPress DB schema.