Searched refs:pagelog_rev (Results 1 – 1 of 1) sorted by relevance
291 $pagelog_rev = $pagelog->getLastRevisionAt($rev);292 if ($pagelog_rev !== false)293 $rev = $pagelog_rev;