Jdlrobson has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/376754 )
Change subject: Hygiene: Drop unused disableImages property ...................................................................... Hygiene: Drop unused disableImages property Change-Id: I01e4c91164df21c04cb2f622c8ac2f08749f5f84 --- M includes/MobileContext.php 1 file changed, 1 insertion(+), 5 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/extensions/MobileFrontend refs/changes/54/376754/1 diff --git a/includes/MobileContext.php b/includes/MobileContext.php index e64467a..263291e 100644 --- a/includes/MobileContext.php +++ b/includes/MobileContext.php @@ -23,11 +23,7 @@ * @var string $mobileMode */ protected $mobileMode; - /** - * Save whether images are disabled for the current user - * @var boolean $disableImages - */ - protected $disableImages; + /** * Whether to show the first paragraph before the infobox in the lead section * @var boolean $showFirstParagraphBeforeInfobox -- To view, visit https://gerrit.wikimedia.org/r/376754 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I01e4c91164df21c04cb2f622c8ac2f08749f5f84 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/MobileFrontend Gerrit-Branch: master Gerrit-Owner: Jdlrobson <jrob...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits