Rename variables for Title objects in PermissionManager
authorThalia <thalia.e.chan@googlemail.com>
Thu, 8 Aug 2019 14:01:01 +0000 (15:01 +0100)
committerThalia <thalia.e.chan@googlemail.com>
Thu, 8 Aug 2019 14:13:17 +0000 (15:13 +0100)
commitb8ba3232057c2ec00af64087aee02d3392d01490
tree74e3c85846d5475cba8415490b13dd57f6f1cd79
parent0233bdf304d5d619b002402311925392e061fbd2
Rename variables for Title objects in PermissionManager

Change-Id: I0322ec6cebb0aa958de77ca41c4fa2beb72879cd
includes/Permissions/PermissionManager.php