MEDIAWIKI 1.17.0+ only!
Array
(
    [0] => help
    [1] => execute
    [2] => user
    [3] => property
    [4] => filtervalue
    [5] => setvalue
)
modify user properties
Usage: php ModifyUserProperties.php [<option>=<>]
 --help : displays description

 --user : modify property of this user [name or id] [-1 = all users]
 --property : property to modify
 --execute : Actually modify
 --filtervalue : filter by value
 --setvalue : set value of given property