To uninstall mediawiki-extensions-collection just follow these instructions.
/debian/jessie/main///install/index.html Extensions for MediaWiki -- Collection extension Debian 8.0 web 3.7
sudo apt-get remove mediawiki-extensions-collection
Which will remove just the mediawiki-extensions-collection package itself.
sudo apt-get remove --auto-remove mediawiki-extensions-collection
This will remove the mediawiki-extensions-collection package and any other dependant packages which are no longer needed.
If you also want to delete your local/config files for mediawiki-extensions-collection then this will work.
sudo apt-get purge mediawiki-extensions-collection
Or similarly, like this mediawiki-extensions-collection
sudo apt-get purge --auto-remove mediawiki-extensions-collection
Package | mediawiki-extensions-collection |
Version | 3.7 |
Maintainer | Debian QA Group |
Description | Extensions for MediaWiki -- Collection extension |
Distro | debian |
Release | jessie |
Repo | main |
Section | web |