JohnOhl By default the Sodium (https://www.php.net/manual/en/book.sodium.php) extension has been included /w PHP since 7.2.0. However, it's not included in the default php.stubs list: Manually adding it to the list works.
