diff options
| author | Umherirrender <umherirrender_de.wp@web.de> | 2020-11-21 02:11:54 +0100 |
|---|---|---|
| committer | Umherirrender <umherirrender_de.wp@web.de> | 2020-11-22 19:09:02 +0000 |
| commit | 692148fd62b21127c310657417c9b5ed4e40a1ea (patch) | |
| tree | 9b57d2df1b750f6765a5eda78335f2a0b6bd3d4e /includes/diff/DiffOpAdd.php | |
| parent | 3a2708bf9461aea471416ff618b9607ac4dc6295 (diff) | |
| download | mediawikicore-692148fd62b21127c310657417c9b5ed4e40a1ea.tar.gz mediawikicore-692148fd62b21127c310657417c9b5ed4e40a1ea.zip | |
Improve and add documentation to diff related classes
Change-Id: Ic10c700e970018fa0b9a219d96d56908b0298d71
Diffstat (limited to 'includes/diff/DiffOpAdd.php')
| -rw-r--r-- | includes/diff/DiffOpAdd.php | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/includes/diff/DiffOpAdd.php b/includes/diff/DiffOpAdd.php index a101f409c2ae..884f4c991594 100644 --- a/includes/diff/DiffOpAdd.php +++ b/includes/diff/DiffOpAdd.php @@ -33,8 +33,12 @@ * @ingroup DifferenceEngine */ class DiffOpAdd extends DiffOp { + /** @inheritDoc */ public $type = 'add'; + /** + * @param string[]|false $lines + */ public function __construct( $lines ) { $this->closing = $lines; $this->orig = false; |