Lines Matching defs:info

92                 $RevInfo->showEditor(),            // editor info
154      * $info['date'] is to be incremented 1 second when such deletion detected.
156     protected function checkCurrentRevision(array &$info)
158         if ($info['mode'] == RevisionInfo::MODE_PAGE) {
159             $changelog = new PageChangelog($info['id']);
161             $changelog = new MediaChangelog($info['id']);
163         if (!$changelog->isCurrentRevision($info['date'])) {
166                 // the page or media file was externally deleted, updated info because the link is already red
168                 $info = array_merge($info, $currentRevInfo);