User specific settings would be stored on the consumer, probably as a simple under page of the user page (e.g. /Wikispeech_settings). The user name needs to be sent to the producer when loading the gadget so that it can fetch them. Alternatively, the initial request can send the settings as a parameter.
Description
Description
Details
Details
| Subject | Repo | Branch | Lines +/- | |
|---|---|---|---|---|
| Read user options from user subpage on consumer wiki | mediawiki/extensions/Wikispeech | master | +98 -17 |
| Status | Subtype | Assigned | Task | ||
|---|---|---|---|---|---|
| Resolved | Sebastian_Berlin-WMSE | T281662 ☂Enable running Wikispeech via gadget | |||
| Resolved | Sebastian_Berlin-WMSE | T281667 Load user options from consumer wiki |
Event Timeline
Comment Actions
The user options should be possible to handle on the consumer side and not sending them to the producer. The only thing to look out for is that the default options are set when loading the script form the producer, so they need to be set before that (and make sure only unset options are set to defaults) or they need to be loaded after the defaults are set.
Comment Actions
The most elegant way of doing this is probably to add the reading to the producer side script. This can read the config page on the consumer when loaded. The only thing that you can't change then is the name of the settings page (it will be specified by the producer), but that's probably not a big issue.
Comment Actions
Change 685821 had a related patch set uploaded (by Sebastian Berlin (WMSE); author: Sebastian Berlin (WMSE)):
[mediawiki/extensions/Wikispeech@master] Read user options from user subpage on consumer wiki
Comment Actions
Change 685821 merged by jenkins-bot:
[mediawiki/extensions/Wikispeech@master] Read user options from user subpage on consumer wiki