--- a/wp/wp-includes/class-wp-text-diff-renderer-inline.php	Mon Oct 14 18:06:33 2019 +0200
+++ b/wp/wp-includes/class-wp-text-diff-renderer-inline.php	Mon Oct 14 18:28:13 2019 +0200
@@ -23,8 +23,8 @@
 	 * @param string $newlineEscape
 	 * @return string
 	 */
-	public function _splitOnWords($string, $newlineEscape = "\n") {
-		$string = str_replace("\0", '', $string);
+	public function _splitOnWords( $string, $newlineEscape = "\n" ) {
+		$string = str_replace( "\0", '', $string );
 		$words  = preg_split( '/([^\w])/u', $string, -1, PREG_SPLIT_DELIM_CAPTURE );
 		$words  = str_replace( "\n", $newlineEscape, $words );
 		return $words;