Merge "Stop declaring ImageHistoryPseudoPager props dynamically"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 22 Mar 2017 16:32:01 +0000 (16:32 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 22 Mar 2017 16:32:01 +0000 (16:32 +0000)
includes/page/ImageHistoryPseudoPager.php

index b1441be..4785ef1 100644 (file)
@@ -31,6 +31,24 @@ class ImageHistoryPseudoPager extends ReverseChronologicalPager {
         */
        protected $mTitle;
 
+       /**
+        * @since 1.14
+        * @var ImagePage
+        */
+       public $mImagePage;
+
+       /**
+        * @since 1.14
+        * @var File[]
+        */
+       public $mHist;
+
+       /**
+        * @since 1.14
+        * @var int[]
+        */
+       public $mRange;
+
        /**
         * @param ImagePage $imagePage
         */