| Index: trunk/phase3/includes/EditPage.php |
| — | — | @@ -100,9 +100,7 @@ |
| 101 | 101 | |
| 102 | 102 | if ($undo > 0 && $undoafter > 0 && $undo < $undoafter) { |
| 103 | 103 | # If they got undoafter and undo round the wrong way, switch them |
| 104 | | - $temp = $undoafter; |
| 105 | | - $undoafter = $undo; |
| 106 | | - $undo = $temp; |
| | 104 | + list( $undo, $undoafter ) = array( $undoafter, $undo ); |
| 107 | 105 | } |
| 108 | 106 | |
| 109 | 107 | if ( $undo > 0 && $undo > $undoafter ) { |