From f1cb34a17aaa39d948420bfee677aa22167eaa16 Mon Sep 17 00:00:00 2001
From: sam marshall <s.marshall@open.ac.uk>
Date: Tue, 6 Aug 2013 17:35:25 +0100
Subject: [PATCH] MDL-41050 Progress bar: Width parameter does not work

---
 lib/weblib.php | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/lib/weblib.php b/lib/weblib.php
index c12854e3d7b..141088b1c01 100644
--- a/lib/weblib.php
+++ b/lib/weblib.php
@@ -2934,11 +2934,12 @@ class progress_bar {
         if (CLI_SCRIPT) {
             return; // temporary solution for cli scripts
         }
+        $widthplusborder = $this->width + 2;
         $htmlcode = <<<EOT
-        <div style="text-align:center;width:{$this->width}px;clear:both;padding:0;margin:0 auto;">
+        <div style="text-align:center;width:{$widthplusborder}px;clear:both;padding:0;margin:0 auto;">
             <h2 id="status_{$this->html_id}" style="text-align: center;margin:0 auto"></h2>
             <p id="time_{$this->html_id}"></p>
-            <div id="bar_{$this->html_id}" style="border-style:solid;border-width:1px;width:500px;height:50px;">
+            <div id="bar_{$this->html_id}" style="border-style:solid;border-width:1px;width:{$this->width}px;height:50px;">
                 <div id="progress_{$this->html_id}"
                 style="text-align:center;background:#FFCC66;width:4px;border:1px
                 solid gray;height:38px; padding-top:10px;">&nbsp;<span id="pt_{$this->html_id}"></span>