Follow-up to #15742: missing changes in stddb/tables.php