wiki.techinc.nl/maintenance/runScript.php
Umherirrender 11b71b2a98 Suppress taint-check issues in maintenance scripts/cli context
all places detected as SecurityCheck-XSS by
mediawiki/phan-taint-check-plugin 3.1.0

Bug: T216348
Change-Id: Ib4c8295ad95c2c605fd2f0791e73322f747a00af
2020-12-07 17:20:07 +00:00

65 lines
2.1 KiB
PHP

<?php
/**
* Convenience maintenance script wrapper, useful for scripts
* or extensions located outside of standard locations.
*
* To use, give the maintenance script as a relative or full path.
*
* Example usage:
*
* If your pwd is mediawiki base folder:
* php maintenance/runScript.php extensions/Wikibase/lib/maintenance/dispatchChanges.php
*
* If your pwd is maintenance folder:
* php runScript.php ../extensions/Wikibase/lib/maintenance/dispatchChanges.php
*
* Or full path:
* php /var/www/mediawiki/maintenance/runScript.php maintenance/runJobs.php
*
* 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 2 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, write to the Free Software Foundation, Inc.,
* 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
* http://www.gnu.org/copyleft/gpl.html
*
* @author Katie Filbert < aude.wiki@gmail.com >
* @file
* @ingroup Maintenance
*/
$IP = getenv( 'MW_INSTALL_PATH' );
if ( $IP === false ) {
$IP = dirname( __DIR__ );
putenv( "MW_INSTALL_PATH=$IP" );
}
require_once "$IP/maintenance/Maintenance.php";
if ( !isset( $argv[1] ) ) {
fwrite( STDERR, "This script requires a maintenance script as an argument.\n"
. "Usage: php runScript.php extensions/Wikibase/lib/maintenance/dispatchChanges.php\n" );
exit( 1 );
}
$scriptFilename = $argv[1];
array_shift( $argv );
$scriptFile = realpath( $scriptFilename );
if ( !$scriptFile ) {
fwrite( STDERR, "The MediaWiki script file \"{$scriptFilename}\" does not exist.\n" );
exit( 1 );
}
// @phan-suppress-next-line SecurityCheck-OTHER
require_once $scriptFile;