Revert "Modify -—with-extensions to throw extension dependency errors"
authorJforrester <jforrester@wikimedia.org>
Tue, 3 Sep 2019 16:35:48 +0000 (16:35 +0000)
committerJforrester <jforrester@wikimedia.org>
Tue, 3 Sep 2019 16:35:48 +0000 (16:35 +0000)
commitcc7ec36a577161bba06159abd15efddc8a4f745d
treeb3ab5eb8a1746da6d39f211744cb16ede2fdf426
parentd9eec3c9124d87fd44e6917d5b1512b78352afb3
Revert "Modify -—with-extensions to throw extension dependency errors"

This reverts commit d9eec3c9124d87fd44e6917d5b1512b78352afb3.

Reason for revert: Breaking most of CI

Bug: T231876
Change-Id: I9b64a2bb770ee2e7ee717669070843814f37e81e
includes/installer/CliInstaller.php
includes/installer/Installer.php
includes/installer/WebInstallerOptions.php