HomeMiraheze

Update ManageWikiSettings.php

Description

Update ManageWikiSettings.php

Details

Provenance
Unknown Object (User)Authored on Oct 12 2021, 17:47
GitHubCommitted on Oct 12 2021, 17:47
Parents
R9:d37b87bf4e97: Set wgVectorUseWvuiSearch to true by default
Branches
Unknown
Tags
Unknown

Event Timeline

GitHub <noreply@github.com> committed R9:1d0cb79eebfb: Update ManageWikiSettings.php (authored by Unknown Object (User)).Oct 12 2021, 17:47