Searched defs:pagelog (Results 1 – 2 of 2) sorted by relevance
| /dokuwiki/ | ||
| H A D | doku.php | 75 $pagelog = new \dokuwiki\ChangeLog\PageChangeLog($ID); global() variable |
| /dokuwiki/inc/ | ||
| H A D | html.php | 551 html_diff_navigation($pagelog, $type, $l_rev, $r_rev) global() argument |