Use UserIdentity instead of User in REST
authorPetr Pchelko <ppchelko@wikimedia.org>
Fri, 13 Sep 2019 21:07:59 +0000 (14:07 -0700)
committerTim Starling <tstarling@wikimedia.org>
Wed, 18 Sep 2019 04:45:01 +0000 (14:45 +1000)
commit0df763f71d418485eaca2c1addc3693c21b454ba
tree97b2a062fcc040f7bfdbae8597ecbccd48e20192
parent88d9cc22d31b526b309c163b62b1899c813c63aa
Use UserIdentity instead of User in REST

Change-Id: Ia6a517c6a64664be2363492108f9497fc949f299
includes/Rest/BasicAccess/MWBasicAuthorizer.php
includes/Rest/BasicAccess/MWBasicRequestAuthorizer.php
includes/Rest/EntryPoint.php
includes/Rest/Validator/ParamValidatorCallbacks.php
includes/Rest/Validator/Validator.php
tests/phpunit/includes/Rest/BasicAccess/MWBasicRequestAuthorizerTest.php
tests/phpunit/includes/Rest/EntryPointTest.php
tests/phpunit/unit/includes/Rest/Handler/HelloHandlerTest.php
tests/phpunit/unit/includes/Rest/RouterTest.php