{# /** * @file * Default theme implementation for a progress bar. * * Note that the core Batch API uses this only for non-JavaScript batch jobs. * * Available variables: * - attributes: An array of HTML attributes intended to be added to the progress bar container of this template. * - id: A valid HTML ID and guaranteed to be unique. * - label: The label of the working task. * - percent: The percentage of the progress. * - message: A string containing information to be displayed. * * @ingroup templates */ #}