| Index: trunk/phase3/includes/EditPage.php |
| — | — | @@ -326,8 +326,8 @@ |
| 327 | 327 | if ( $this->mTitle->isDeleted() ) { |
| 328 | 328 | $this->lastDelete = $this->getLastDelete(); |
| 329 | 329 | if ( $this->lastDelete ) { |
| 330 | | - $deletetime = wfTimestamp( TS_MW, $this->lastDelete->log_timestamp ); |
| 331 | | - if ( ($deletetime - $this->starttime) > 0 ) { |
| | 330 | + $deleteTime = wfTimestamp( TS_MW, $this->lastDelete->log_timestamp ); |
| | 331 | + if ( $deleteTime > $this->starttime ) { |
| 332 | 332 | $this->deletedSinceEdit = true; |
| 333 | 333 | } |
| 334 | 334 | } |