diff options
author | Umherirrender <umherirrender_de.wp@web.de> | 2020-11-13 23:01:30 +0100 |
---|---|---|
committer | Umherirrender <umherirrender_de.wp@web.de> | 2020-11-13 23:01:30 +0100 |
commit | 714c114893720b6a2fbf8cf6ea25dd9ac10f5e68 (patch) | |
tree | 9fdb052c0ee5dce0830ce731f3dfd4b16ab009df /includes/diff/Diff.php | |
parent | 687fbf95ca6f37212ed79c048e40c3f31ca332ad (diff) | |
download | mediawikicore-714c114893720b6a2fbf8cf6ea25dd9ac10f5e68.tar.gz mediawikicore-714c114893720b6a2fbf8cf6ea25dd9ac10f5e68.zip |
Fix doc type of Diff::reverse
Change-Id: I3eb066d5effc9c96b6b9c1b3b63bdcd39790bd3a
Diffstat (limited to 'includes/diff/Diff.php')
-rw-r--r-- | includes/diff/Diff.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/diff/Diff.php b/includes/diff/Diff.php index 5a570855cd1e..4e0c29d28844 100644 --- a/includes/diff/Diff.php +++ b/includes/diff/Diff.php @@ -74,7 +74,7 @@ class Diff { * $diff = new Diff($lines1, $lines2); * $rev = $diff->reverse(); * - * @return object A Diff object representing the inverse of the + * @return self A Diff object representing the inverse of the * original diff. */ public function reverse() { |