[MediaWiki-commits] [Gerrit] Reduce output for updating MediaWiki extensions - change (translatewiki)

2013-09-30 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Reduce output for updating MediaWiki extensions .. Reduce output for updating MediaWiki extensions Change-Id: I3e9cedda3becb0b7efcc91d2033f115333c01846

[MediaWiki-commits] [Gerrit] Reduce output for updating MediaWiki extensions - change (translatewiki)

2013-09-29 Thread Siebrand (Code Review)
Siebrand has uploaded a new change for review. https://gerrit.wikimedia.org/r/86438 Change subject: Reduce output for updating MediaWiki extensions .. Reduce output for updating MediaWiki extensions Change-Id: