Add definitions for ProgressJs