SpecialUserrights: Make new fetchUser() parameter optional
authorBartosz Dziewoński <matma.rex@gmail.com>
Wed, 30 Nov 2016 18:04:45 +0000 (19:04 +0100)
committerBartosz Dziewoński <matma.rex@gmail.com>
Wed, 30 Nov 2016 18:04:45 +0000 (19:04 +0100)
commit01ca3f90cdf7ff1c8f399c2af3ab97599fcc3c84
tree672d4c5f3f551eba47dd589ee3cfd1174b39b841
parent2353628e6f4ddb6a1ac7e070c69265a3319073e2
SpecialUserrights: Make new fetchUser() parameter optional

This in, unfortunately, a public API, apparently.
Follow-up to d87a4eaa19aad80e109307eb0088fd6a25dd5f51.

Bug: T151961
Change-Id: Ia0e583a5cbb9ed143bf5dff9b513b76ca2790d72
includes/specials/SpecialUserrights.php