From 6f9e6dd8878e9560a26be2f510dff9e368bed815 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Bartosz=20Dziewo=C5=84ski?= Date: Sun, 24 Jan 2016 21:27:52 +0100 Subject: [PATCH] WikiFilePage: Remove weird useless comments Change-Id: I0902ab6ddbfcec54f3385bdcdd5062503b5f1b95 --- includes/page/WikiFilePage.php | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/includes/page/WikiFilePage.php b/includes/page/WikiFilePage.php index c508abe389..92a14afa95 100644 --- a/includes/page/WikiFilePage.php +++ b/includes/page/WikiFilePage.php @@ -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 ); -- 2.20.1