PHP: <br />
<b>Fatal error</b>:  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 <b>/www/habi.gna.ch/doc/wp-includes/customize/class-wp-customize-new-menu-control.php</b> on line <b>11</b><br />