jenkins-bot has submitted this change and it was merged. Change subject: MobilePage: Fix undefined revisionTimestamp property ......................................................................
MobilePage: Fix undefined revisionTimestamp property Follows-up ae5408c. Bug: T147993 Change-Id: If636ed9e626eb8791670fd188c68228e37e9f9ff --- M includes/models/MobilePage.php 1 file changed, 4 insertions(+), 0 deletions(-) Approvals: Jhobs: Looks good to me, but someone else must approve jenkins-bot: Verified Phuedx: Looks good to me, approved diff --git a/includes/models/MobilePage.php b/includes/models/MobilePage.php index 4f24076..4abf956 100644 --- a/includes/models/MobilePage.php +++ b/includes/models/MobilePage.php @@ -21,6 +21,10 @@ */ private $rev; /** + * @var string|bool + */ + private $revisionTimestamp; + /** * @var File Associated page image file (see PageImages extension) */ private $file; -- To view, visit https://gerrit.wikimedia.org/r/315964 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: If636ed9e626eb8791670fd188c68228e37e9f9ff Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/MobileFrontend Gerrit-Branch: master Gerrit-Owner: Krinkle <krinklem...@gmail.com> Gerrit-Reviewer: Jdlrobson <jrob...@wikimedia.org> Gerrit-Reviewer: Jhobs <jhob...@wikimedia.org> Gerrit-Reviewer: Krinkle <krinklem...@gmail.com> Gerrit-Reviewer: Phuedx <samsm...@wikimedia.org> Gerrit-Reviewer: Reedy <re...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits