*/
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;
* @param Content|null $content Page content to be used when determining
* the required updates. This may be needed because $this->getContent()
* may already return null when the page proper was deleted.
- * @param RevisionRecord|Revision|null $revision The current page revision at the time of
+ * @param Revision|null $revision The current page revision at the time of
* deletion, used when determining the required updates. This may be needed because
* $this->getRevision() may already return null when the page proper was deleted.
* @param User|null $user The user that caused the deletion