Page MenuHomeMiraheze

Convert wiki_extensions to use JSON
Closed, ResolvedPublic

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.