Merge "Remove unused `.success-box` class"

[lhc/web/wiklou.git] / includes / diff / DiffEngine.php

diff --git a/includes/diff/DiffEngine.php b/includes/diff/DiffEngine.php
index ce507d7..6fa40ea 100644 (file)
--- a/includes/diff/DiffEngine.php
+++ b/includes/diff/DiffEngine.php
@@ -47,7 +47,9 @@ use MediaWiki\Diff\ComplexityException;
 class DiffEngine {
 
        // Input variables
+       /** @var string[] */
        private $from;
+       /** @var string[] */
        private $to;
        private $m;
        private $n;