@zonble on WordPress.org
Mentioned in [3544] on WordPress SVN:Use wp_specialchars() to avoid double encoding.
