HomeMiraheze

Update ManageWikiExtensions.php

Description

Update ManageWikiExtensions.php

Details

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

Event Timeline

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