Fixed a problem with minibar when invoked from gfse or the syntax editor

Minibar needs js/langcode.js now, so need to include it in gfse/index.html
and syntax-exitor/editor.html too.

src/www/gfse/editor.js

@@ -571,6 +571,8 @@ function quiz_button(g,err_ind) {
 }
 
 
+var languages =
+    function() {
 	function lang(code,name) { return { code:code, name:name} }
 	function lang1(name) {
 	    var ws=name.split("/");
@@ -579,9 +581,10 @@ function lang1(name) {
 
 	// Language names and 3-letter ISO-639 codes
 	// See http://en.wikipedia.org/wiki/List_of_ISO_639-1_codes
-var languages =
+	var languages=map(lang1,"Amharic Arabic Bulgarian Catalan Chinese Danish Dutch English Estonian Finnish French German Greek Hindi Ina/Interlingua Italian Jpn/Japanese Latin Mlt/Maltese Mongolian Norwegian Pes/Persian Polish Pnb/Punjabi Ron/Romanian Russian Snd/Sindhi Spanish Swedish Thai Turkish Urdu".split(" "));
-    map(lang1,"Amharic Arabic Bulgarian Catalan Chinese Danish Dutch English Estonian Finnish French German Greek Hindi Ina/Interlingua Italian Jpn/Japanese Latin Mlt/Maltese Mongolian Norwegian Pes/Persian Polish Pnb/Punjabi Ron/Romanian Russian Snd/Sindhi Spanish Swedish Thai Turkish Urdu".split(" "));
 	languages.push(lang("Other","Other"));
+	return languages
+    }()
 
 var langname={};
 for(var i in languages)

src/www/gfse/index.html

@@ -34,7 +34,7 @@ This page does not work without JavaScript.
 <hr>
 <div class=modtime><small>
 HTML
-<!-- hhmts start -->Last modified: Tue Apr 23 14:05:30 CEST 2013 <!-- hhmts end -->
+<!-- hhmts start -->Last modified: Thu May 21 09:47:39 CEST 2015 <!-- hhmts end -->
 </small></div>
 <a href="about.html">About</a>
 <pre id=debug></pre>
@@ -42,6 +42,7 @@ HTML
 <script type="text/javascript" src="../js/support.js"></script>
 <script type="text/JavaScript" src="../js/pgf_online.js"></script>
 <script type="text/javascript" src="../js/localstorage.js"></script>
+<script type="text/JavaScript" src="../js/langcode.js"></script>
 
 <script type="text/javascript" src="localstorage.js"></script>
 <script type="text/javascript" src="gf_abs.js"></script>

src/www/js/langcode.js

@@ -1,8 +1,12 @@
 // Language names and ISO-639 codes (both 3-letter and 2-letter codes)
 // See http://en.wikipedia.org/wiki/List_of_ISO_639-1_codes
 
+var languages =
+    function() {
 	function lang1(namecode2) {
-    function lang(code,name,code2) {return {code:code, name:name, code2:code2}}
+	    function lang(code,name,code2) {
+		return {code:code, name:name, code2:code2}
+	    }
 	    var nc=namecode2.split(":")
 	    var name=nc[0]
 	    var ws=name.split("/")
@@ -11,8 +15,9 @@ function lang1(namecode2) {
 	                        : lang(ws[0],ws[1],code2)
 	}
 
-var languages = // [ISO-639-2 code "/"] language name ":" ISO 639-1 code
+	return map(lang1,
-    map(lang1,["Amharic:am","Arabic:ar","Bulgarian:bg","Catalan:ca",
+		// [ISO-639-2 code "/"] language name ":" ISO 639-1 code
+		["Amharic:am","Arabic:ar","Bulgarian:bg","Catalan:ca",
 	        "Chinese:zh","Danish:da","Dutch:nl","English:en","Estonian:et",
 	        "Finnish:fi","French:fr","German:de","Greek:el","Hindi:hi",
 	        "Ina/Interlingua:ia","Italian:it","Jpn/Japanese:ja","Latin:la",
@@ -20,6 +25,7 @@ var languages = // [ISO-639-2 code "/"] language name ":" ISO 639-1 code
 	        "Ron/Romanian:ro","Russian:ru","Spanish:es","Swedish:sv",
 	        "Thai:th","Turkish:tr","Urdu:ur"])
 	        // GF uses nonstd 3-letter codes? Pes/Persian:fa, Pnb/Punjabi:pa
+    }()
 
 var langname={}
 var langcode2={}

src/www/syntax-editor/editor.html

@@ -26,6 +26,7 @@
   <script type="text/javascript" src="../js/support.js"></script>
   <script type="text/JavaScript" src="../js/localstorage.js"></script>
   <script type="text/javascript" src="../js/pgf_online.js"></script>
+  <script type="text/JavaScript" src="../js/langcode.js"></script>
 
   <!-- Editor -->
   <script type="text/javascript" src="ast.js"></script>