From 62f28d30a069135f9c48678507203958adfc334f Mon Sep 17 00:00:00 2001
From: Igor Pashev <pashev.igor@gmail.com>
Date: Thu, 29 Sep 2016 13:51:44 +0300
Subject: Moved everything into ./modules

---
 pkgs/mediawiki/T122487.patch | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100644 pkgs/mediawiki/T122487.patch

(limited to 'pkgs/mediawiki/T122487.patch')

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 ) {
-- 
cgit v1.2.3