Dereckson has uploaded a new change for review. https://gerrit.wikimedia.org/r/316585
Change subject: MobilePage: Fix undefined revisionTimestamp property ...................................................................... MobilePage: Fix undefined revisionTimestamp property Follows-up ae5408c. Bug: T147993 Change-Id: If636ed9e626eb8791670fd188c68228e37e9f9ff (cherry picked from commit 8f2ab5d51fa50e158c6af211c9b423c544c76775) --- M includes/models/MobilePage.php 1 file changed, 4 insertions(+), 0 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/MobileFrontend refs/changes/85/316585/1 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/316585 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: If636ed9e626eb8791670fd188c68228e37e9f9ff Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/MobileFrontend Gerrit-Branch: wmf/1.28.0-wmf.22 Gerrit-Owner: Dereckson <dereck...@espace-win.org> Gerrit-Reviewer: Krinkle <krinklem...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits