maintenance/userOptions.php

   1 <?php
   2 /**
   3  * Script to change users preferences on the fly.
   4  *
   5  * Made on an original idea by Fooey (freenode)
   6  *
   7  * This program is free software; you can redistribute it and/or modify
   8  * it under the terms of the GNU General Public License as published by
   9  * the Free Software Foundation; either version 2 of the License, or
  10  * (at your option) any later version.
  11  *
  12  * This program is distributed in the hope that it will be useful,
  13  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  14  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  15  * GNU General Public License for more details.
  16  *
  17  * You should have received a copy of the GNU General Public License along
  18  * with this program; if not, write to the Free Software Foundation, Inc.,
  19  * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
  20  * http://www.gnu.org/copyleft/gpl.html
  21  *
  22  * @file
  23  * @ingroup Maintenance
  24  * @author Antoine Musso <hashar at free dot fr>
  25  */
  26
  27 // This is a command line script, load tools and parse args
  28 require_once 'userOptions.inc';
  29
  30 // Load up our tool system, exit with usage() if options are not fine
  31 $uo = new UserOptions( $options, $args );
  32
  33 $uo->run();
  34
  35 print "Done.\n";