[MediaWiki-commits] [Gerrit] Update MobileFrontend to wmf/1.23wmf18 tip - change (mediawiki/core)

MaxSem has uploaded a new change for review. https://gerrit.wikimedia.org/r/119421 Change subject: Update MobileFrontend to wmf/1.23wmf18 tip .. Update MobileFrontend to wmf/1.23wmf18 tip Change-Id:

[MediaWiki-commits] [Gerrit] Update MobileFrontend to wmf/1.23wmf18 tip - change (mediawiki/core)

MaxSem has submitted this change and it was merged. Change subject: Update MobileFrontend to wmf/1.23wmf18 tip .. Update MobileFrontend to wmf/1.23wmf18 tip Change-Id: I71ffd89eb61a927f4fdfee098a52af0d2b71f868 --- M

[MediaWiki-commits] [Gerrit] Update MobileFrontend to wmf/1.23wmf18 tip - change (mediawiki/core)

MaxSem has uploaded a new change for review. https://gerrit.wikimedia.org/r/118686 Change subject: Update MobileFrontend to wmf/1.23wmf18 tip .. Update MobileFrontend to wmf/1.23wmf18 tip Change-Id:

[MediaWiki-commits] [Gerrit] Update MobileFrontend to wmf/1.23wmf18 tip - change (mediawiki/core)

MaxSem has submitted this change and it was merged. Change subject: Update MobileFrontend to wmf/1.23wmf18 tip .. Update MobileFrontend to wmf/1.23wmf18 tip Change-Id: I671a01bc4af81a779fa2d3c79d91d74dd360edfb --- M