diff options
| author | Reedy <reedy@wikimedia.org> | 2017-11-15 03:19:00 +0000 |
|---|---|---|
| committer | Reedy <reedy@wikimedia.org> | 2017-11-15 03:19:00 +0000 |
| commit | 5b205725842edbae6ccde5a13baf20c2eb3ec4ae (patch) | |
| tree | 6c2d883e99b8afd2e88f03738d751b75433554ac /maintenance/update.php | |
| parent | 20fd11be7ad7899b8baa77dc267532dcecc5acb1 (diff) | |
| download | mediawikicore-5b205725842edbae6ccde5a13baf20c2eb3ec4ae.tar.gz mediawikicore-5b205725842edbae6ccde5a13baf20c2eb3ec4ae.zip | |
Shorten git hashes for eval-stdin.php
Ping I5b838686ede9764083c52853cc05c52ea72739df
Change-Id: Ie80a068507444721f8ffdbdc1867555338489283
Diffstat (limited to 'maintenance/update.php')
| -rwxr-xr-x | maintenance/update.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/maintenance/update.php b/maintenance/update.php index 70cea516ec5b..d5c11b5ded66 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' |