[MediaWiki-commits] [Gerrit] Finish comment - change (mediawiki...MobileFrontend)

2014-02-25 Thread jenkins-bot (Code Review)
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)

2014-02-20 Thread MaxSem (Code Review)
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