From b7e5821df12f9556ef3e9d19e7a2a63a21718468 Mon Sep 17 00:00:00 2001
From: Andreas Gohr <andi@splitbrain.org>
Date: Sat, 28 Jul 2012 20:11:28 +0200
Subject: [PATCH] added missing include
---
inc/media.php | 1 +
1 file changed, 1 insertion(+)
diff --git a/inc/media.php b/inc/media.php
index 35112f274..794aab8aa 100644
--- a/inc/media.php
+++ b/inc/media.php
@@ -646,6 +646,7 @@ function media_tab_files_options(){
global $lang;
global $NS;
global $INPUT;
+ global $ID;
$form = new Doku_Form(array('class' => 'options', 'method' => 'get',
'action' => wl($ID)));
$media_manager_params = media_managerURL(array(), '', false, true);
--
GitLab