Issue #2662778 by Wim Leers: Ajax progress is rendered via JavaScript theme function; does not include progress library