2018-07-28 23:32:15 +00:00
|
|
|
<?php
|
|
|
|
/**
|
2019-12-29 00:34:04 +00:00
|
|
|
* Copyright (C) 2018-2019 Kunal Mehta <legoktm@member.fsf.org>
|
2018-07-28 23:32:15 +00:00
|
|
|
*
|
|
|
|
* This program is free software; you can redistribute it and/or modify
|
|
|
|
* it under the terms of the GNU General Public License as published by
|
|
|
|
* the Free Software Foundation; either version 3 of the License, or
|
|
|
|
* (at your option) any later version.
|
|
|
|
*
|
|
|
|
* This program is distributed in the hope that it will be useful,
|
|
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
* GNU General Public License for more details.
|
|
|
|
*
|
|
|
|
* You should have received a copy of the GNU General Public License
|
|
|
|
* along with this program. If not, see <https://www.gnu.org/licenses/>.
|
|
|
|
*/
|
|
|
|
|
|
|
|
namespace MediaWiki\SecureLinkFixer;
|
|
|
|
|
|
|
|
$IP = getenv( 'MW_INSTALL_PATH' );
|
|
|
|
if ( $IP === false ) {
|
|
|
|
$IP = __DIR__ . '/../../..';
|
|
|
|
}
|
2019-07-17 21:00:28 +00:00
|
|
|
|
|
|
|
require_once "$IP/includes/libs/StaticArrayWriter.php";
|
2019-12-29 00:34:04 +00:00
|
|
|
require_once __DIR__ . '/../includes/ListFetcher.php';
|
2018-07-28 23:32:15 +00:00
|
|
|
|
|
|
|
/**
|
2019-07-17 21:00:28 +00:00
|
|
|
* Downloads Mozilla's HSTS preload list and builds it into a PHP file.
|
|
|
|
*
|
|
|
|
* We explicitly don't use Maintenance here so that this script
|
|
|
|
* can be run without needing all of MediaWiki to be installed.
|
2018-07-28 23:32:15 +00:00
|
|
|
*/
|
2019-07-17 21:00:28 +00:00
|
|
|
function main() {
|
2019-12-29 00:34:04 +00:00
|
|
|
$lf = new ListFetcher( function ( $text ) {
|
|
|
|
echo $text;
|
|
|
|
} );
|
|
|
|
[ $rev, $date ] = $lf->getLatestInfo();
|
|
|
|
$code = $lf->fetchList( $rev, $date );
|
2019-07-17 21:00:28 +00:00
|
|
|
file_put_contents( __DIR__ . '/../domains.php', $code );
|
|
|
|
echo "Updated domains.php\n";
|
2018-07-28 23:32:15 +00:00
|
|
|
}
|
|
|
|
|
2019-07-17 21:00:28 +00:00
|
|
|
main();
|