[MediaWiki-commits] [Gerrit] apps...wikipedia[master]: Fix: Crash when opening settings

2017-07-20 Thread jenkins-bot (Code Review)
jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/366739 ) Change subject: Fix: Crash when opening settings .. Fix: Crash when opening settings A recent change introduced a crash when

[MediaWiki-commits] [Gerrit] apps...wikipedia[master]: Fix: Crash when opening settings

2017-07-20 Thread Mholloway (Code Review)
Mholloway has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/366739 ) Change subject: Fix: Crash when opening settings .. Fix: Crash when opening settings A recent change introduced a crash when opening the