Use skinStyles for mediawiki.ui.icon

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

diff --git a/includes/revisiondelete/RevDelRevisionItem.php b/includes/revisiondelete/RevDelRevisionItem.php
index 81ca3d6..300ce6a 100644 (file)
--- a/includes/revisiondelete/RevDelRevisionItem.php
+++ b/includes/revisiondelete/RevDelRevisionItem.php
@@ -24,7 +24,7 @@
  */
 class RevDelRevisionItem extends RevDelItem {
        /** @var Revision */
-       var $revision;
+       public $revision;
 
        public function __construct( $list, $row ) {
                parent::__construct( $list, $row );