MediaWiki REL1_35
runScript.php File Reference

Convenience maintenance script wrapper, useful for scripts or extensions located outside of standard locations. More...

Go to the source code of this file.

Variables

if(PHP_SAPI !=='cli' &&PHP_SAPI !=='phpdbg') $IP = getenv( 'MW_INSTALL_PATH' )
 
 $scriptFile = realpath( $scriptFilename )
 
if(!isset( $argv[1])) $scriptFilename = $argv[1]
 
 if ($IP===false)
 

Detailed Description

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..nosp@m.wiki.nosp@m.@gmai.nosp@m.l.co.nosp@m.m >

Definition in file runScript.php.

Variable Documentation

◆ $IP

if (PHP_SAPI !=='cli' &&PHP_SAPI !=='phpdbg') $IP = getenv( 'MW_INSTALL_PATH' )

Definition at line 44 of file runScript.php.

◆ $scriptFile

$scriptFile = realpath( $scriptFilename )

Definition at line 63 of file runScript.php.

◆ $scriptFilename

if (!isset($argv[1])) $scriptFilename = $argv[1]

Definition at line 60 of file runScript.php.

◆ if

if(! $scriptFile) (   $IP = == false)

Definition at line 46 of file runScript.php.