require_once RUN_MAINTENANCE_IF_MAIN
Abstract maintenance class for quickly writing and churning out maintenance scripts with minimal effo...
requireExtension( $name)
Indicate that the specified extension must be loaded before the script can run.
error( $err, $die=0)
Throw an error to the user.
output( $out, $channel=null)
Throw some output to the user.