Extension management 2018 feedback/Installing

Programatically enable/disable extensions from the command line
I use Debian packages to install MediaWiki. I'd like to be able to programatically enable/disable extensions from the command line. The main way I envision this being used is that when people install a Debian package of an extension, the package can automatically enable the extension without needing to create or edit PHP files. This would also be applicable to MediaWiki-Vagrant as well I believe. Legoktm (talk) 05:21, 16 May 2018 (UTC)

Endorsements

 * Legoktm (talk) 05:21, 16 May 2018 (UTC)
 * --Gabriel Birke (WMDE) (talk) 16:00, 18 May 2018 (UTC)

I think installing extensions should be possible using a special page
Installing extensions from command line or using FTP is very cumbersome and shouldn't be the default way. Instead we should have a Special Page to install any extension. I do understand that this may not be possible for various extensions that require additional software to be installed on the server and those may be exceptions. Nischayn22 (talk) 06:14, 17 May 2018 (UTC)

Endorsements

 * Nischayn22 (talk) 06:14, 17 May 2018 (UTC)
 * F.trott (talk) 07:50, 17 May 2018 (UTC)

Comments
There should be one central extension management special page that allows finding, installing, updating, enabling/disabling, configuring and uninstalling extensions. Much like plugin management in any other software. --F.trott (talk) 07:47, 17 May 2018 (UTC)
 * There should be a mechanism to disable installing/uninstalling from the web frontend. (For security considerations, but also for wikifarms who want to allow enabling/disabling, but not installing/uninstalling.)
 * There should be a mechanism to exclude certain extensions from being managed through this special page (Use case is again wikifarms who may want to force some extensions.)