aboutsummaryrefslogtreecommitdiff
path: root/pkgs/mediawiki/T122487.patch
blob: 7b868a82ffb4601fa9a78c2bae56a24e08ecb35c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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 ) {