MediaWiki master
DiffOpDelete.php
Go to the documentation of this file.
1<?php
2
28namespace Wikimedia\Diff;
29
36class DiffOpDelete extends DiffOp {
38 public $type = 'delete';
39
43 public function __construct( $lines ) {
44 $this->orig = $lines;
45 $this->closing = false;
46 }
47
51 public function reverse() {
52 return new DiffOpAdd( $this->orig );
53 }
54}
55
57class_alias( DiffOpDelete::class, 'DiffOpDelete' );
The base class for all other DiffOp classes.
Definition DiffOp.php:38
if(!file_exists( $CREDITS)) $lines