Page MenuHomeMiraheze

Add a way to set wgPreloaderSource in ManageWiki
Open, LowPublic

Description

At the moment due to not being able to set $wgPreloaderSource in ManageWiki, the extension can only be enabled by a user with the managewiki-restricted userright due to if its enabled at the moment it will only use what we have set as the default, as it requires an PR to LS.php on the GitHub repo.

See extension page for information on the configuration variable.

Event Timeline

Zppix triaged this task as Normal priority.Nov 29 2019, 20:31
Zppix created this task.

@Zppix Is there a reason why we can't just enable it when the extension is enabled directly via LocalExtensions.php?

Zppix added a comment.Feb 19 2020, 01:42

@Zppix Is there a reason why we can't just enable it when the extension is enabled directly via LocalExtensions.php?

I would assume the wiki founder would prefer to customize preloader settings on-wiki rather then editing a .php file.

I don't think we support these types of config variables in ManageWiki ?

John moved this task from Backlog to Features on the ManageWiki board.Apr 9 2020, 00:29
Reception123 lowered the priority of this task from Normal to Low.May 18 2020, 15:02

Setting this to low because there doesn't seem to be any demand to change the default value for this by any wiki. If there is such demand this can be moved back to normal.