MediaWiki  1.23.0
userOptions.php
Go to the documentation of this file.
1 <?php
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
32 
33 $uo->run();
34 
35 print "Done.\n";
php
skin txt MediaWiki includes four core it has been set as the default in MediaWiki since the replacing Monobook it had been been the default skin since before being replaced by Vector largely rewritten in while keeping its appearance Several legacy skins were removed in the as the burden of supporting them became too heavy to bear Those in etc for skin dependent CSS etc for skin dependent JavaScript These can also be customised on a per user by etc This feature has led to a wide variety of user styles becoming that gallery is a good place to ending in php
Definition: skin.txt:62
$uo
$uo
Definition: userOptions.php:31
$options
null means default in associative array with keys and values unescaped Should be merged with default with a value of false meaning to suppress the attribute in associative array with keys and values unescaped & $options
Definition: hooks.txt:1530
$args
if( $line===false) $args
Definition: cdb.php:62
UserOptions
Definition: userOptions.inc:33