Fixed bug #5082: Clean up a nested htmlspecialchars() in class.db_list_extra.inc