I've already set up a new special page to generate a specific setting string of my extension, but I can't find a way to submit the generated setting to user's preferences, should I use mediawiki PHP api, How?
I've already set up a new special page to generate a specific setting string of my extension, but I can't find a way to submit the generated setting to user's preferences, should I use mediawiki PHP api, How?