Merge "WikiFilePage: Remove weird useless comments"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Sun, 24 Jan 2016 20:46:16 +0000 (20:46 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Sun, 24 Jan 2016 20:46:16 +0000 (20:46 +0000)
includes/page/WikiFilePage.php

index c508abe..92a14af 100644 (file)
@@ -29,10 +29,10 @@ class WikiFilePage extends WikiPage {
        /**
         * @var File
         */
-       protected $mFile = false;                               // !< File object
-       protected $mRepo = null;                            // !<
-       protected $mFileLoaded = false;             // !<
-       protected $mDupes = null;                               // !<
+       protected $mFile = false;
+       protected $mRepo = null;
+       protected $mFileLoaded = false;
+       protected $mDupes = null;
 
        public function __construct( $title ) {
                parent::__construct( $title );