Parsed: 110277

function get_screen_icon() {
  _deprecated_function( get_screen_icon, '3.8.0' );
  return '<!-- Screen icons are no longer used as of WordPress 3.8. -->';
}