[checkmk-commits] htmllib: New generic helper for processing integers from request vars: get_integer_input()