[MediaWiki-commits] [Gerrit] Preferences: Use case-insensitive comparison for skin names - change (mediawiki/core)

jenkins-bot has submitted this change and it was merged. Change subject: Preferences: Use case-insensitive comparison for skin names .. Preferences: Use case-insensitive comparison for skin names They are treated

[MediaWiki-commits] [Gerrit] Preferences: Use case-insensitive comparison for skin names - change (mediawiki/core)

Bartosz Dziewoński has uploaded a new change for review. https://gerrit.wikimedia.org/r/207976 Change subject: Preferences: Use case-insensitive comparison for skin names .. Preferences: Use case-insensitive comparison for

[MediaWiki-commits] [Gerrit] Preferences: Use case-insensitive comparison for skin names - change (mediawiki/core)

jenkins-bot has submitted this change and it was merged. Change subject: Preferences: Use case-insensitive comparison for skin names .. Preferences: Use case-insensitive comparison for skin names They are treated

[MediaWiki-commits] [Gerrit] Preferences: Use case-insensitive comparison for skin names - change (mediawiki/core)

Bartosz Dziewoński has uploaded a new change for review. https://gerrit.wikimedia.org/r/206971 Change subject: Preferences: Use case-insensitive comparison for skin names .. Preferences: Use case-insensitive comparison for