From 72f0e11f3f8692c524a51556f05c9c55631ad449 Mon Sep 17 00:00:00 2001
From: Andreas Gohr <andi@splitbrain.org>
Date: Fri, 19 May 2006 19:59:59 +0200
Subject: 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 | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'inc/html.php')

diff --git a/inc/html.php b/inc/html.php
index 5dbfcd921..66648ae0e 100644
--- a/inc/html.php
+++ b/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">
-- 
cgit v1.2.3