Fixes: #2138 PHP Fatal error: Call to undefined function html_trace()