Manual talk:UserOptions.php

From mediawiki.org
Jump to navigation Jump to search

Can this be used to change one specific user's options, or is it an all or nothing kind of thing?[edit]

I was wondering if i would be able to change specific user's options with this or if it was all users or nothing? —The preceding unsigned comment was added by WikiGremlin Dave (talkcontribs) 02:51, 13 December 2013 (UTC)[]

userOptions.php allows you to change a user setting for all those users, who currently have a special value set. So: Yes, it is possible to only change one special value into another one. --88.130.90.34 15:18, 3 January 2014 (UTC)[]
I think WikiGremlin Dave means: Is it possible to change a setting for one specific user ? That's something that interrests me too and I can't find an hind that this could work. There is no description to add a username to the script... Carchaias (talk) 07:36, 17 March 2014 (UTC)[]
Right, this is not possible with this script. When you know the user's user ID, then you might want to change his option in the DB directly: Check the table user_properties, up_user = this user's user ID and up_property = the name of the preference you want to change. And for this row set up_value to the desired value. You might have to add a row, if there is no row with this user ID and the up_property, which you want to change (which means that the user used the default until now). If done correctly, this will work, but note that this is not officially supported. --88.130.110.147 12:36, 18 March 2014 (UTC)[]

Sentence not making any sense[edit]

For example, to change namespaces search user pages: doesn't make any sense to me, can someone reword that, please? Thanks. --Tactica amiga (talk) 15:38, 2 May 2016 (UTC)[]

How to set all existing users to a specific skin[edit]

I have added a new skin and would like to administratively ensure that all users are using it. Can UserOptions.php help me here?