Improve Status/StatusValue::splitByErrorType type hint
authorGergő Tisza <gtisza@wikimedia.org>
Mon, 24 Oct 2016 00:07:53 +0000 (00:07 +0000)
committerGergő Tisza <gtisza@wikimedia.org>
Mon, 24 Oct 2016 00:50:40 +0000 (00:50 +0000)
commit223aa1e97e5096ed3473f8ab83fe70e8f1b1d278
tree9116bafbbd0c5c733e8160157ea745acd68d10d6
parent77cd8150a73eeb6b8a94f844fc68ecf9dde846fc
Improve Status/StatusValue::splitByErrorType type hint

Change-Id: I6deb76f8906aa86481b84ce1aaebaddf3a52e31d
includes/Status.php
includes/libs/StatusValue.php