Update core/lib/html.php