diff --git a/html/inc/db_ops.inc b/html/inc/db_ops.inc index ee7fe127fb..c93d85ef47 100644 --- a/html/inc/db_ops.inc +++ b/html/inc/db_ops.inc @@ -1159,7 +1159,7 @@ function result_short_header() {