c9f09ad6a672aab64c1427d7b7f9444dc9ce4a3b
[atutor.git] / mods / wiki / plugins / page / ewikilog.php
1 <?php
2
3 /*
4    Prints out /tmp/ewiki.log for debugging
5 */
6 /* 
7 * @author alex wan <alex@burgiss.com>
8 * @author andy fundinger <andy@burgiss.com> (Minor contributions and maintenance)
9 */
10
11 $ewiki_plugins["page"]["EWikiLog"] = "ewiki_page_ewikilog";
12
13 function ewiki_page_ewikilog($id, $data, $action) 
14 {
15     ob_start();
16     echo ewiki_make_title($id, $id, 2);
17     echo '<pre>';
18     readfile(EWIKI_LOGFILE);
19     echo '</pre>';
20     $o = ob_get_contents();
21     ob_end_clean();
22
23     return($o);
24 }
25
26
27
28 ?>