Remove empty and unnecessary /* @{{ … */ comments
authorThiemo Kreuz <thiemo.kreuz@wikimedia.de>
Fri, 15 Mar 2019 13:53:12 +0000 (14:53 +0100)
committerThiemo Kreuz <thiemo.kreuz@wikimedia.de>
Fri, 15 Mar 2019 13:59:19 +0000 (14:59 +0100)
This was the only comment I could find that uses two curly brackets
for some reason. There are a few more with one curly bracket.

Change-Id: Iaed631916064e6be4895edd4c7a3d7de491e16c2

includes/page/WikiPage.php
maintenance/cleanupPreferences.php
tests/phpunit/documentation/ReleaseNotesTest.php
tests/phpunit/includes/LinkerTest.php
tests/phpunit/includes/password/Pbkdf2PasswordFallbackTest.php

index cd0fa8b..4b0e503 100644 (file)
@@ -50,13 +50,23 @@ class WikiPage implements Page, IDBAccessObject {
         */
        public $mTitle = null;
 
-       /**@{{
+       /**
+        * @var bool
+        * @protected
+        */
+       public $mDataLoaded = false;
+
+       /**
+        * @var bool
+        * @protected
+        */
+       public $mIsRedirect = false;
+
+       /**
+        * @var int|false False means "not loaded"
         * @protected
         */
-       public $mDataLoaded = false;         // !< Boolean
-       public $mIsRedirect = false;         // !< Boolean
-       public $mLatest = false;             // !< Integer (false means "not loaded")
-       /**@}}*/
+       public $mLatest = false;
 
        /** @var PreparedEdit Map of cache fields (text, parser output, ect) for a proposed/new edit */
        public $mPreparedEdit = false;
index a6399f6..66fc6d3 100644 (file)
@@ -99,9 +99,6 @@ class CleanupPreferences extends Maintenance {
                }
        }
 
-       /**
-        *
-        */
        private function deleteByWhere( $dbw, $startMessage, $where ) {
                $this->output( $startMessage . "...\n" );
                $total = 0;
index 2789571..019a13e 100644 (file)
@@ -41,8 +41,6 @@ class ReleaseNotesTest extends MediaWikiTestCase {
                }
        }
 
-       /**
-        */
        private function assertFileLength( $type, $fileName ) {
                $file = file( $fileName, FILE_IGNORE_NEW_LINES );