[MediaWiki-commits] [Gerrit] Finish comment - change (mediawiki...MobileFrontend)
jenkins-bot has submitted this change and it was merged. Change subject: Finish comment .. Finish comment Change-Id: If8064615f0666df112d984285d500dcf0649fd1a --- M includes/DeviceDetection.php 1 file changed, 1 insertion(+), 1
[MediaWiki-commits] [Gerrit] Finish comment - change (mediawiki...MobileFrontend)
MaxSem has uploaded a new change for review. https://gerrit.wikimedia.org/r/114639 Change subject: Finish comment .. Finish comment Change-Id: If8064615f0666df112d984285d500dcf0649fd1a --- M includes/DeviceDetection.php 1 fil