{# /** * @file * Default theme implementation for a progress bar. * * Note that the core Batch API uses this only for non-JavaScript batch jobs. * * Available variables: * - label: The label of the working task. * - percent: The percentage of the progress. * - message: A string containing information to be displayed. * * @ingroup themeable */ #}