Deprecate 'jquery.tabIndex' module

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

diff --git a/includes/diff/DiffOp.php b/includes/diff/DiffOp.php
index 2a1f3e1..df2792f 100644 (file)
--- a/includes/diff/DiffOp.php
+++ b/includes/diff/DiffOp.php
@@ -42,12 +42,12 @@ abstract class DiffOp {
        public $type;
 
        /**
-        * @var string[]
+        * @var string[]|false
         */
        public $orig;
 
        /**
-        * @var string[]
+        * @var string[]|false
         */
        public $closing;