Topic on Manual talk:Extensions

How can I change user preference in my extension?

One comment • 02:33, 26 June 2023 10 months ago

1

Cirno.Tim (talkcontribs)

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?

Reply 02:33, 26 June 2023 10 months ago

Reply to "How can I change user preference in my extension?"