Home
last modified time | relevance | path

Searched refs:earliestLiveTime (Results 1 – 3 of 3) sorted by relevance

/dports/www/mediawiki135/mediawiki-1.35.5/includes/specials/
H A DSpecialUndelete.php961 $earliestLiveTime = $this->mTargetObj->getEarliestRevTime();
965 $history .= $this->formatRevisionRow( $row, $earliestLiveTime, $remaining );
998 protected function formatRevisionRow( $row, $earliestLiveTime, $remaining ) { argument
1036 } elseif ( $remaining > 0 || ( $earliestLiveTime && $ts > $earliestLiveTime ) ) {
/dports/www/mediawiki137/mediawiki-1.37.1/includes/specials/
H A DSpecialUndelete.php1022 $earliestLiveTime = $firstRev ? $firstRev->getTimestamp() : null;
1026 $history .= $this->formatRevisionRow( $row, $earliestLiveTime, $remaining );
1059 protected function formatRevisionRow( $row, $earliestLiveTime, $remaining ) { argument
1091 } elseif ( $remaining > 0 || ( $earliestLiveTime && $ts > $earliestLiveTime ) ) {
/dports/www/mediawiki136/mediawiki-1.36.3/includes/specials/
H A DSpecialUndelete.php1029 $earliestLiveTime = $firstRev ? $firstRev->getTimestamp() : null;
1033 $history .= $this->formatRevisionRow( $row, $earliestLiveTime, $remaining );
1066 protected function formatRevisionRow( $row, $earliestLiveTime, $remaining ) { argument
1098 } elseif ( $remaining > 0 || ( $earliestLiveTime && $ts > $earliestLiveTime ) ) {