[MediaWiki-commits] [Gerrit] Use png for wikimania2015wiki logo - change (operations/mediawiki-config)

2015-05-07 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Use png for wikimania2015wiki logo .. Use png for wikimania2015wiki logo Change-Id: I43848b20102aad03863d765b0cd271c2a21f559f --- A w/static/images/projec

[MediaWiki-commits] [Gerrit] Use png for wikimania2015wiki logo - change (operations/mediawiki-config)

2015-05-07 Thread Legoktm (Code Review)
Legoktm has uploaded a new change for review. https://gerrit.wikimedia.org/r/209675 Change subject: Use png for wikimania2015wiki logo .. Use png for wikimania2015wiki logo Change-Id: I43848b20102aad03863d765b0cd271c2a21f559f