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