Thread:Project:Support desk/Help with skin/reply (3)

Hello,

not in DefaultSettings.php :) You need to create a new extension, which handles this. It can add options to a User with $user->setOption and the skin can (while initialisation) read this values with $user->getOption. The functions (and all other) is documented here:

https://doc.wikimedia.org/mediawiki-core/master/php/html/classUser.html#

How you can develop an Extension, you can read here:

https://www.mediawiki.org/wiki/Manual:Developing_extensions