From 82e4990b739a1f801f80f0275ba60fb9f083bd87 Mon Sep 17 00:00:00 2001 From: Drew Jaynes Date: Sun, 5 Apr 2015 15:51:27 +0000 Subject: [PATCH] Various docs syntax fixes in wp-includes/formatting.php. See #31888. Built from https://develop.svn.wordpress.org/trunk@32039 git-svn-id: http://core.svn.wordpress.org/trunk@32018 1a063a9b-81f0-0310-95a4-ce76da25c4cd --- wp-includes/formatting.php | 8 ++++---- wp-includes/version.php | 2 +- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/wp-includes/formatting.php b/wp-includes/formatting.php index 5e4c1b25c6..628309d870 100644 --- a/wp-includes/formatting.php +++ b/wp-includes/formatting.php @@ -4134,7 +4134,7 @@ function print_emoji_detection_script() { * * @param string The emoji extension. Default .png. */ - 'ext' => apply_filters( 'emoji_ext', '.png' ), + 'ext' => apply_filters( 'emoji_ext', '.png' ), ); $version = 'ver=' . $wp_version; @@ -4344,10 +4344,10 @@ function _wp_staticize_emoji_for_email( $mail ) { continue; } - // Explode them out + // Explode them out. list( $name, $content ) = explode( ':', trim( $header ), 2 ); - // Cleanup crew + // Cleanup crew. $name = trim( $name ); $content = trim( $content ); @@ -4362,7 +4362,7 @@ function _wp_staticize_emoji_for_email( $mail ) { } } - // Set Content-Type if we don't have a content-type from the input headers + // Set Content-Type if we don't have a content-type from the input headers. if ( ! isset( $content_type ) ) { $content_type = 'text/plain'; } diff --git a/wp-includes/version.php b/wp-includes/version.php index 73150f4f77..333f9bc3f7 100644 --- a/wp-includes/version.php +++ b/wp-includes/version.php @@ -4,7 +4,7 @@ * * @global string $wp_version */ -$wp_version = '4.2-beta4-32038'; +$wp_version = '4.2-beta4-32039'; /** * Holds the WordPress DB revision, increments when changes are made to the WordPress DB schema.