diff options
Diffstat (limited to 'pkgs/mediawiki/T122487.patch')
| -rw-r--r-- | pkgs/mediawiki/T122487.patch | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/pkgs/mediawiki/T122487.patch b/pkgs/mediawiki/T122487.patch deleted file mode 100644 index 7b868a8..0000000 --- a/pkgs/mediawiki/T122487.patch +++ /dev/null @@ -1,16 +0,0 @@ -Description: fix warning on upload page -Bug: https://phabricator.wikimedia.org/T122487 -Index: mediawiki-1.23.13/includes/User.php -=================================================================== ---- mediawiki-1.23.13.orig/includes/User.php -+++ mediawiki-1.23.13/includes/User.php -@@ -3806,6 +3806,9 @@ class User { - * @return boolean: Whether the token matches - */ - public function matchEditToken( $val, $salt = '', $request = null ) { -+ if ($val === null) { -+ return false; -+ } - $sessionToken = $this->getEditToken( $salt, $request ); - $equals = hash_equals( $sessionToken, $val ); - if ( !$equals ) { |