link to media manager

This patch add a link to the media manager when no JavaScript is available.
Users can upload and browse for pictures now without the need for JavaScript
only inserting has to be done manually then.

darcs-hash:20060519175959-7ad00-5ee77fd00d20bef9a36eee632a1c5897097ba4a8.gz

inc/html.php

@@ -1047,7 +1047,8 @@ function html_edit($text=null,$include='edit'){ //FIXME: include needed?
 
    <div class="toolbar">
       <div id="draft__status"><?php if($INFO['draft']) echo $lang['draftdate'].' '.date($conf['dformat']);?></div>
-      <div id="tool__bar"></div>
+      <div id="tool__bar"><a href="<?php echo DOKU_BASE?>/lib/exe/mediamanager.php?ns=<?php echo $INFO['namespace']?>"
+      target="_blank"><?php echo $lang['mediaselect'] ?></a></div>
 
       <?php if($wr){?>
       <script type="text/javascript" charset="utf-8">

lib/scripts/edit.js

@@ -128,6 +128,9 @@ function initToolbar(tbid,edid,tb){
     var toolbar = $(tbid);
     if(!toolbar) return;
 
+    //empty the toolbar area:
+    toolbar.innerHTML='';
+
     var cnt = tb.length;
     for(var i=0; i<cnt; i++){
         // create new button