Merge "mediawiki.page.ready: Avoid duplicate DOM query on logout click"

[lhc/web/wiklou.git] / includes / Storage / PageUpdater.php

diff --git a/includes/Storage/PageUpdater.php b/includes/Storage/PageUpdater.php
index 7246238..fd555f6 100644 (file)
--- a/includes/Storage/PageUpdater.php
+++ b/includes/Storage/PageUpdater.php
@@ -882,6 +882,7 @@ class PageUpdater {
                // TODO: introduce something like an UnsavedRevisionFactory service instead!
                /** @var MutableRevisionRecord $rev */
                $rev = $this->derivedDataUpdater->getRevision();
+               '@phan-var MutableRevisionRecord $rev';
 
                $rev->setPageId( $title->getArticleID() );