Diffusion MediaWiki configuration 99e1eb728e56

Update LocalExtensions.php
99e1eb728e56
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

Update LocalExtensions.php

Details

Provenance

Paladox	Authored on Mar 11 2019, 23:12
GitHub	Committed on Mar 11 2019, 23:12

Parents

R9:e2f4d4bd8eff: Update ManageWiki.php

Branches

Unknown

Tags

Unknown

Event Timeline

GitHub <noreply@github.com> committed R9:99e1eb728e56: Update LocalExtensions.php (authored by Paladox).Mar 11 2019, 23:12

Paladox mentioned this in R9:2cd1644181be: Merge 99e1eb728e56137d6daa034abf315213fb4f8dff into….

Changes (1)

Path

Size

LocalExtensions.php

R9:99e1eb728e56

LocalExtensions.php

Loading...