Stop declaring ImageHistoryPseudoPager props dynamically

The 3 properties declared here were introduced in:
0ca92d0bf5dd4e71b678d373a1beb3089d16a866

Change-Id: Ibbd0a86f02ab010720446db1aa2dc9ea0eb05aef

diff --git a/includes/page/ImageHistoryPseudoPager.php b/includes/page/ImageHistoryPseudoPager.php
index b1441be..4785ef1 100644 (file)
--- a/includes/page/ImageHistoryPseudoPager.php
+++ b/includes/page/ImageHistoryPseudoPager.php
@@ -31,6 +31,24 @@ class ImageHistoryPseudoPager extends ReverseChronologicalPager {
         */
        protected $mTitle;
 
         */
        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
         */
        /**
         * @param ImagePage $imagePage
         */