Remove duplicate keys from arrays
authorJakub Vrana <jakub@vrana.cz>
Mon, 26 Nov 2018 18:08:56 +0000 (19:08 +0100)
committerJakub Vrana <jakub@vrana.cz>
Mon, 26 Nov 2018 18:22:08 +0000 (19:22 +0100)
commit9f14c02e2069c9d7d70f8872b37df8fbb1d0d00d
tree4d8c2c02f6af14ccdfcbf41dedeb80eda7a0de2a
parentea13092f947bfce84d7e03687ade5daf848be3b4
Remove duplicate keys from arrays

Found by PHPStan.

Change-Id: Ie0e0cfa33b3caa4a13f4dfb04c772c8a0284435a
includes/parser/RemexStripTagHandler.php
languages/classes/LanguageKu.php
languages/classes/LanguageShi.php
languages/classes/LanguageUz.php
languages/data/CrhExceptions.php
languages/messages/MessagesCs.php