mediainclude.patch

   1 From 3d7b5b0faf63c5634ebee922aa3d24cb718d6aac Mon Sep 17 00:00:00 2001
   2 From: =?UTF-8?q?Elan=20Ruusam=C3=A4e?= <glen@delfi.ee>
   3 Date: Sun, 3 Oct 2010 14:00:23 +0300
   4 Subject: [PATCH] - fix missing include for local graphviz install. ticket #1
   5
   6 ---
   7  syntax.php |    1 +
   8  1 files changed, 1 insertions(+), 0 deletions(-)
   9
  10 diff --git a/syntax.php b/syntax.php
  11 index 2102b5a..6cffd11 100644
  12 --- a/syntax.php
  13 +++ b/syntax.php
  14 @@ -9,6 +9,7 @@
  15
  16  if(!defined('DOKU_INC')) define('DOKU_INC',realpath(dirname(__FILE__).'/../../').'/');
  17  require_once(DOKU_INC.'inc/init.php');
  18 +require_once(DOKU_INC.'inc/media.php');
  19  if(!defined('DOKU_PLUGIN')) define('DOKU_PLUGIN',DOKU_INC.'lib/plugins/');
  20  require_once(DOKU_PLUGIN.'syntax.php');
  21
  22 --
  23 1.7.2.2
  24