From 5b205725842edbae6ccde5a13baf20c2eb3ec4ae Mon Sep 17 00:00:00 2001 From: Reedy Date: Wed, 15 Nov 2017 03:19:00 +0000 Subject: [PATCH] Shorten git hashes for eval-stdin.php Ping I5b838686ede9764083c52853cc05c52ea72739df Change-Id: Ie80a068507444721f8ffdbdc1867555338489283 --- maintenance/update.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/maintenance/update.php b/maintenance/update.php index 70cea516ec..d5c11b5ded 100755 --- a/maintenance/update.php +++ b/maintenance/update.php @@ -173,8 +173,8 @@ class UpdateMediaWiki extends Maintenance { $badPhpUnit = dirname( __DIR__ ) . '/vendor/phpunit/phpunit/src/Util/PHP/eval-stdin.php'; if ( file_exists( $badPhpUnit ) ) { // Bad versions of the file are: - // https://raw.githubusercontent.com/sebastianbergmann/phpunit/c820f915bfae34e5a836f94967a2a5ea5ef34f21/src/Util/PHP/eval-stdin.php - // https://raw.githubusercontent.com/sebastianbergmann/phpunit/3aaddb1c5bd9b9b8d070b4cf120e71c36fd08412/src/Util/PHP/eval-stdin.php + // https://raw.githubusercontent.com/sebastianbergmann/phpunit/c820f91/src/Util/PHP/eval-stdin.php + // https://raw.githubusercontent.com/sebastianbergmann/phpunit/3aaddb1/src/Util/PHP/eval-stdin.php $md5 = md5_file( $badPhpUnit ); if ( $md5 === '120ac49800671dc383b6f3709c25c099' || $md5 === '28af792cb38fc9a1b236b91c1aad2876' -- 2.20.1