Type and Provider for managing MediWiki Extensions

- You can now add/delte extensions from media wiki.
- Updated to use mediawiki 1.22.4.
- Updated to be compatible with latest required Modules.