Page MenuHomeMiraheze

Convert wiki_extensions to use JSON
Open, LowPublic

Description

Currently we use a string "," array which while okay, is kind of ugly for manipulations, requires rebuilding the whole thing (rather than adding like with an array) and means we have to use ",zzzz" as a hack to ensure the last extension always is called.

Event Timeline

John created this task.Feb 23 2019, 20:37
John triaged this task as Low priority.
John moved this task from Backlog to Features on the ManageWiki board.Fri, Apr 5, 04:44