jenkins-bot has submitted this change and it was merged. Change subject: Add settings ......................................................................
Add settings Save Hovercards enabled state in localStorage (jStorage) Change-Id: I374805eed0bc9f262b29474093f0357c56b42c83 --- M Popups.php M i18n/en.json M i18n/qqq.json M resources/ext.popups.core.js M resources/ext.popups.core.less M resources/ext.popups.disablenavpop.js M resources/ext.popups.renderer.article.js A resources/ext.popups.settings.js A resources/ext.popups.settings.less A resources/gear_gray.svg A resources/hovercard.svg A resources/navpop.svg 12 files changed, 11,589 insertions(+), 28 deletions(-) Approvals: AndyRussG: Looks good to me, approved jenkins-bot: Verified -- To view, visit https://gerrit.wikimedia.org/r/140086 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I374805eed0bc9f262b29474093f0357c56b42c83 Gerrit-PatchSet: 16 Gerrit-Project: mediawiki/extensions/Popups Gerrit-Branch: master Gerrit-Owner: Prtksxna <psax...@wikimedia.org> Gerrit-Reviewer: AndyRussG <andrew.green...@gmail.com> Gerrit-Reviewer: Legoktm <legoktm.wikipe...@gmail.com> Gerrit-Reviewer: Prtksxna <psax...@wikimedia.org> Gerrit-Reviewer: Spage <sp...@wikimedia.org> Gerrit-Reviewer: Yuvipanda <yuvipa...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits