--- theme.php	2018-10-24 12:55:07.697380630 +0200
+++ theme_patched.php	2018-11-09 17:17:24.648806058 +0100
@@ -849,7 +849,7 @@
  *
  * @param string      $name    Theme modification name.
  * @param bool|string $default
- * @return string
+ * @return mixed
  */
 function get_theme_mod( $name, $default = false ) {
 	$mods = get_theme_mods();