diff --git a/core/includes/theme.inc b/core/includes/theme.inc
index 1bb221529b554abab27b315916e5d197c3bdd5ea..b99fc6c9999dea8f5c91683f796d0bc04763d8d6 100644
--- a/core/includes/theme.inc
+++ b/core/includes/theme.inc
@@ -1269,15 +1269,6 @@ function _template_preprocess_default_variables() {
   return $variables;
 }
 
-/**
- * #pre_render callback for the html element type.
- *
- * @deprecated Use \Drupal\Core\Render\Element\Html::preRenderHtml().
- */
-function drupal_pre_render_html(array $element) {
-  return Element\Html::preRenderHtml($element);
-}
-
 /**
  * Prepares variables for HTML document templates.
  *