REST: Rename attributes to path params
authorTim Starling <tstarling@wikimedia.org>
Mon, 10 Jun 2019 21:32:51 +0000 (07:32 +1000)
committerTim Starling <tstarling@wikimedia.org>
Fri, 14 Jun 2019 07:01:15 +0000 (17:01 +1000)
commit4b07863b72827f83c0b93e60f2a65e8fec33a180
tree51e71b7f8d821f24a5e6df7fbe246562f335e517
parent4e0e36397c871ef0e26f54d695caf9b425c115e3
REST: Rename attributes to path params

Change-Id: I1cd7297715bf0f9902949a5117ea7ab94b689a37
includes/Rest/RequestBase.php
includes/Rest/RequestData.php
includes/Rest/RequestInterface.php
includes/Rest/Router.php
includes/Rest/SimpleHandler.php