Searched defs:pagelog (Results 1 – 3 of 3) sorted by relevance
21 PageChangeLog $pagelog,54 PageChangeLog $pagelog,
77 $pagelog = new PageChangeLog($ID); variable
580 function html_diff_navigation($pagelog, $type, $l_rev, $r_rev)