[MediaWiki-commits] [Gerrit] Replaced caseInsensitive option - change (mediawiki...Wikibase)

2014-11-12 Thread WMDE
Thiemo Mättig (WMDE) has uploaded a new change for review. https://gerrit.wikimedia.org/r/172675 Change subject: Replaced caseInsensitive option .. Replaced caseInsensitive option See

[MediaWiki-commits] [Gerrit] Replaced caseInsensitive option - change (mediawiki...Wikibase)

2014-11-12 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. Change subject: Replaced caseInsensitive option .. Replaced caseInsensitive option See https://github.com/wmde/ValueView/pull/131 Change-Id: