From 04488f58c94d5caa96bc2d45eff963895301ab20 Mon Sep 17 00:00:00 2001
From: pookey <pookey@625475ce-881a-0410-a577-b389adb331d8>
Date: Sun, 25 Feb 2007 19:37:19 +0000
Subject: [PATCH] fixing filename case

---
 manual/documentation2.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/manual/documentation2.php b/manual/documentation2.php
index 77b8728d1..ef7970538 100644
--- a/manual/documentation2.php
+++ b/manual/documentation2.php
@@ -10,7 +10,7 @@ $res = array();
 $curr = false;
 
 require_once('Text/Wiki.php');
-require_once('Text/Wiki/MediaWiki.php');
+require_once('Text/Wiki/Mediawiki.php');