Deprecated $wgUDPProfilerHost, $wgUDPProfilerPort and $wgUDPProfilerFormatString

[lhc/web/wiklou.git] / includes / revisiondelete / RevDelFileList.php

diff --git a/includes/revisiondelete/RevDelFileList.php b/includes/revisiondelete/RevDelFileList.php
index 8714a5e..57e15d8 100644 (file)
--- a/includes/revisiondelete/RevDelFileList.php
+++ b/includes/revisiondelete/RevDelFileList.php
@@ -24,13 +24,13 @@
  */
 class RevDelFileList extends RevDelList {
        /** @var array */
-       var $storeBatch;
+       public $storeBatch;
 
        /** @var array */
-       var $deleteBatch;
+       public $deleteBatch;
 
        /** @var array */
-       var $cleanupBatch;
+       public $cleanupBatch;
 
        public function getType() {
                return 'oldimage';