diff options
| author | Andreas Gohr <andi@splitbrain.org> | 2012-07-28 20:11:28 +0200 |
|---|---|---|
| committer | Andreas Gohr <andi@splitbrain.org> | 2012-07-28 20:11:28 +0200 |
| commit | b7e5821df12f9556ef3e9d19e7a2a63a21718468 (patch) | |
| tree | d50c26ecfea9caa453b43a7bd008fda4a15d4dd3 | |
| parent | 7c62086b7b95a10cc08ceb137ea5861d7cd78437 (diff) | |
| download | rpg-b7e5821df12f9556ef3e9d19e7a2a63a21718468.tar.gz rpg-b7e5821df12f9556ef3e9d19e7a2a63a21718468.tar.bz2 | |
added missing include
| -rw-r--r-- | inc/media.php | 1 |
1 files changed, 1 insertions, 0 deletions
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); |