Method set_php_version

src/lib.rs:1173–1184

Set the PHP version (used by integration tests and during server initialization after reading `composer.json`). Also filters `stub_function_index`, `stub_index`, and `stub_constant_index` to remove entries that do not exist in the given PHP version.

(&self, version: types::PhpVersion)

    /// `stub_constant_index` to remove entries that do not exist in
    /// the given PHP version.
    pub fn set_php_version(&self, version: types::PhpVersion) {
        *self.php_version.lock() = version;
        self.stub_function_index
            .write()
            .retain(|name, source| !stubs::is_stub_function_removed(source, name, version));
        self.stub_index
            .write()
            .retain(|name, source| !stubs::is_stub_class_removed(source, name, version));
        self.stub_constant_index
            .write()
            .retain(|name, source| !stubs::is_stub_constant_removed(source, name, version));
    }

    /// Check whether a URI refers to a Blade template file.
    /// Returns true if the URI ends with `.blade.php` OR was opened with `languageId == "blade"`.