From b0cafee95057f79ddc2e8661295175cb1fe5f8e7 Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Tue, 7 Dec 2010 13:00:36 +0000
Subject: [PATCH] minibar.js: restore start_miniabr function for backward
 compatibility

---
 src/runtime/javascript/minibar/minibar.js | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/runtime/javascript/minibar/minibar.js b/src/runtime/javascript/minibar/minibar.js
index c1498c801..98049c96e 100644
--- a/src/runtime/javascript/minibar/minibar.js
+++ b/src/runtime/javascript/minibar/minibar.js
@@ -15,6 +15,11 @@ complete_output=get_completions()
 show_completions(complete_output)
 */
 
+// For backward compatibility:
+function start_minibar(server,opts,target) {
+    return new Minibar(server,opts,target);
+}
+
 function Minibar(server,opts,target) {
     // Typically called when the HTML document is loaded