HomeMiraheze

Update ManageWikiExtensions.php

Description

Update ManageWikiExtensions.php

Details

Provenance
Unknown Object (User)Authored on Jul 30 2021, 21:58
GitHubCommitted on Jul 30 2021, 21:58
Parents
R9:5d3a4903d234: Update LocalSettings.php
Branches
Unknown
Tags
Unknown

Event Timeline

GitHub <noreply@github.com> committed R9:4d9dd39b1e7c: Update ManageWikiExtensions.php (authored by Unknown Object (User)).Jul 30 2021, 21:58