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/DiffOp.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/DiffOp.php')
| -rw-r--r-- | includes/diff/DiffOp.php | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/includes/diff/DiffOp.php b/includes/diff/DiffOp.php index 01f740dc6451..84abf3118541 100644 --- a/includes/diff/DiffOp.php +++ b/includes/diff/DiffOp.php @@ -79,6 +79,9 @@ abstract class DiffOp { return null; } + /** + * @return self + */ abstract public function reverse(); /** |