PHP:
Fatal error: Uncaught Error: Call to undefined function _deprecated_file() in /www/habi.gna.ch/doc/wp-includes/customize/class-wp-customize-new-menu-control.php:11 Stack trace: #0 {main} thrown in /www/habi.gna.ch/doc/wp-includes/customize/class-wp-customize-new-menu-control.php on line 11