diff options
-rw-r--r-- | inc/common.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/inc/common.php b/inc/common.php index 4092eb766..8fe797187 100644 --- a/inc/common.php +++ b/inc/common.php @@ -911,7 +911,7 @@ function notify($id,$who,$rev='',$summary='',$minor=false){ if($rev){ $subject = $lang['mail_changed'].' '.$id; $text = str_replace('@OLDPAGE@',wl($id,"rev=$rev",true),$text); - require_once("inc/DifferenceEngine.php"); + require_once(DOKU_INC.'inc/DifferenceEngine.php'); $df = new Diff(split("\n",rawWiki($id,$rev)), split("\n",rawWiki($id))); $dformat = new UnifiedDiffFormatter(); |