dépôts / lhc / web / wiklou.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 44b5248) | patch
Update type of PermissionManager::resultToError
authorUmherirrender <umherirrender_de.wp@web.de>
Fri, 7 Jun 2019 15:23:50 +0000 (17:23 +0200)
committerUmherirrender <umherirrender_de.wp@web.de>
Fri, 7 Jun 2019 15:23:50 +0000 (17:23 +0200)
commit141f8cfee030f7825ea733459e6643e04ce3e1a7
tree6358b72714acebdd25cfdddeabed97d182afdafatree | snapshot
parent44b524827e3004d4f2fbcb19c194c702c651d1f2commit | diff
Update type of PermissionManager::resultToError

Also update the copy source in Title::resultToError

Change-Id: Iaa3b8d124e599fe9db7f941d0591776adc96906b
includes/Permissions/PermissionManager.php diff | blob | history
includes/Title.php diff | blob | history
Wiklou, le Wiki du Wiklou