- changed status to resolved
Add mediawiki.org to the list of wikis
Issue #14
resolved
It's not currently possible to use the no_information tool for mediawiki.org, because it's not a supported site in common.php. It would be great if it could be added to the list, so its users can add the information template to files that don't have it :)
Comments (2)
-
repo owner -
repo owner Merged in ricordisamoa/magnustools-2 (pull request #3)
Add mediawiki.org to the list of wikis, fixes issue
#14→ <<cset 7220ffc6b6cb>>
- Log in to comment
Add mediawiki.org to the list of wikis, fixes issue
#14→ <<cset bc35477c2da6>>