Lines Matching defs:rev

229     $info['rev'] = $REV;
254     $info['rev'] = $REV;
512         if (isset($urlParameters['rev']) && !$urlParameters['rev']) unset($urlParameters['rev']);
626         if (isset($more['rev']) && !$more['rev']) unset($more['rev']);
1057  * @param string|int $rev timestamp when a revision of wikitext is desired
1062 function rawWiki($id, $rev = '')
1064     return io_readWikiPage(wikiFN($id, $rev), $id, $rev);
1212  * @param string $rev optional, the revision timestamp
1217 function rawWikiSlices($range, $id, $rev = '')
1219     $text = io_readWikiPage(wikiFN($id, $rev), $id, $rev);
1306     ['oldRevision' => $rev, 'newRevision' => $new_rev, 'summary' => $summary] = $data;
1307     notify($id, 'admin', $rev, $summary, $minor, $new_rev);
1308     notify($id, 'subscribers', $rev, $summary, $minor, $new_rev);
1340  * @param int|string $rev Old page revision
1349 function notify($id, $who, $rev = '', $summary = '', $minor = false, $replace = [], $current_rev = false)
1378     return $subscription->sendPageDiff($to, $tpl, $id, $rev, $summary, $current_rev);