diff --git a/lib/javascript.php b/lib/javascript.php
index e8e15d16b9d..51b418efe05 100644
--- a/lib/javascript.php
+++ b/lib/javascript.php
@@ -1,20 +1,30 @@
 
 <SCRIPT LANGUAGE="JavaScript">
 <!-- //hide
+
+function popUpProperties(inobj) {
+  op = window.open();
+  op.document.open('text/plain');
+  for (objprop in inobj) {
+    op.document.write(objprop + ' => ' + inobj[objprop] + '\n');
+  }
+  op.document.close();
+}
+
 function fillmessagebox(text) {
- document.form.message.value = text;
+  document.form.message.value = text;
 }
 
 function openpopup(url,name,height,width) {
- fullurl = "<?=$CFG->wwwroot ?>" + url;
- options = "menubar=0,location=0,scrollbars,resizable,width="+width+",height="+height;
- windowobj = window.open(fullurl,name, options);
- windowobj.focus();
+  fullurl = "<?=$CFG->wwwroot ?>" + url;
+  options = "menubar=0,location=0,scrollbars,resizable,width="+width+",height="+height;
+  windowobj = window.open(fullurl,name, options);
+  windowobj.focus();
 }
 
 function copyrichtext(textname) { 
- textname.value = document.richedit.docHtml;
- return true;
+  textname.value = document.richedit.docHtml;
+  return true;
 }
 
 <? if ($focus) { echo "function setfocus() { document.$focus.focus() }\n"; } ?>