wp-includes/class-wp-customize-manager.php:2048Prints a workaround to handle HTML5 tags in IE < 9.
public function customize_preview_html5() { _deprecated_function( __FUNCTION__, '4.7.0' ); }Introduced in 3.4.0. Unchanged from 6.7.7 through 7.1.0.
Signature, return type and hooks compared across 5 parsed releases.
src/wp-includes/class-wp-customize-manager.php, and regenerated for each WordPress release so it tracks the code rather than a snapshot of it.