Legoktm has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/187932

Change subject: update.php: Add option to not check if external dependencies 
are up to date
......................................................................

update.php: Add option to not check if external dependencies are up to date

Bug: T88211
Change-Id: Ie84dd6320e5e17cd30a063c61f2b8a3af0549fac
---
M maintenance/update.php
1 file changed, 12 insertions(+), 2 deletions(-)


  git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core 
refs/changes/32/187932/1

diff --git a/maintenance/update.php b/maintenance/update.php
index 8ab1ddb..182a2c4 100755
--- a/maintenance/update.php
+++ b/maintenance/update.php
@@ -56,6 +56,10 @@
                        true
                );
                $this->addOption( 'force', 'Override when $wgAllowSchemaUpdates 
disables this script' );
+               $this->addOption(
+                       'skip-external-dependencies',
+                       'Skips checking whether external dependencies are up to 
date, mostly for developers'
+               );
        }
 
        function getDbType() {
@@ -132,8 +136,14 @@
                }
 
                // Check external dependencies are up to date
-               $composerLockUpToDate = $this->runChild( 
'CheckComposerLockUpToDate' );
-               $composerLockUpToDate->execute();
+               if ( !$this->hasOption( 'skip-external-dependencies' ) ) {
+                       $composerLockUpToDate = $this->runChild( 
'CheckComposerLockUpToDate' );
+                       $composerLockUpToDate->execute();
+               } else {
+                       $this->output(
+                               "Skipping checking whether external 
dependencies are up to date, proceed at your own risk\n"
+                       );
+               }
 
                # Attempt to connect to the database as a privileged user
                # This will vomit up an error if there are permissions problems

-- 
To view, visit https://gerrit.wikimedia.org/r/187932
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: newchange
Gerrit-Change-Id: Ie84dd6320e5e17cd30a063c61f2b8a3af0549fac
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Legoktm <[email protected]>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to