dépôts
/
lhc
/
web
/
wiklou.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Merge "Upstream EasyDeflate library from VisualEditor"
[lhc/web/wiklou.git]
/
includes
/
specials
/
SpecialUndelete.php
diff --git
a/includes/specials/SpecialUndelete.php
b/includes/specials/SpecialUndelete.php
index
540dbc6
..
3069bd8
100644
(file)
--- a/
includes/specials/SpecialUndelete.php
+++ b/
includes/specials/SpecialUndelete.php
@@
-129,7
+129,7
@@
class SpecialUndelete extends SpecialPage {
* specific title if one is set.
*
* @param string $permission
- * @param User $user
+ * @param User
|null
$user
* @return bool
*/
protected function isAllowed( $permission, User $user = null ) {