aboutsummaryrefslogtreecommitdiff
path: root/pkgs/mediawiki/T122487.patch
diff options
context:
space:
mode:
authorIgor Pashev <pashev.igor@gmail.com>2018-12-11 18:10:48 +0300
committerIgor Pashev <pashev.igor@gmail.com>2018-12-11 18:10:48 +0300
commit8b0968b2054d3bb8d90b5ac056727f7c2ebeaed3 (patch)
treed03b70f693463fc836a8dbe4240424d2547530c8 /pkgs/mediawiki/T122487.patch
parentc4273035cf5876e3ba8ed2c6b492d31c2de290ee (diff)
downloadnixsap-8b0968b2054d3bb8d90b5ac056727f7c2ebeaed3.tar.gz
(* HUGE *) Use nixpkgs overlays
Diffstat (limited to 'pkgs/mediawiki/T122487.patch')
-rw-r--r--pkgs/mediawiki/T122487.patch16
1 files changed, 16 insertions, 0 deletions
diff --git a/pkgs/mediawiki/T122487.patch b/pkgs/mediawiki/T122487.patch
new file mode 100644
index 0000000..7b868a8
--- /dev/null
+++ b/pkgs/mediawiki/T122487.patch
@@ -0,0 +1,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 ) {