--amend

harshkhandeparkar · harshkhandeparkar · commit 21e2dde9c6b9 · 2025-10-18T23:06:32.000+05:30
diff --git a/mediawiki/scripts/installation/install_extdist_extensions.sh b/mediawiki/scripts/installation/install_extdist_extensions.sh
@@ -1,5 +1,5 @@
 #!/usr/bin/env bash
-set -e
+set -xe
 
 # Installs all extensions available on the extension distributor: https://www.mediawiki.org/wiki/Special:ExtensionDistributor
 

-Original file line number
+Diff line change
@@ @@ -1,5 +1,5 @@ @@
 #!/usr/bin/env bash
 -set -e
 +set -xe
 # Installs all extensions available on the extension distributor: https://www.mediawiki.org/wiki/Special:ExtensionDistributor