Fix PHP warning in html_table::set_row_attribs() in PHP 5.4 (#1489094)