setSettings call: wrong class name (WebKit\Settings vs WebKitGtk\Settings)

[boussou]

Error:

PHP Fatal error: Uncaught TypeError: Argument 1 passed to WebKitGtk\WebView::setSettings() must be an instance of WebKit\Settings, instance of WebKitGtk\Settings given

code:

$view = new WebKitGtk\WebView("My Window");

$settings = $view->getSettings();
$settings->setAutoLoadImages(true);
$settings->setEnableJavaScript(true);
$settings->setEnableSmoothScrolling(true);
$settings->setEnableAccelerated2dCanvas(true);
$settings->setHardwareAccelerationPolicy(
    WebKitGtk\Settings::HARDWARE_ACCELERATION_POLICY_ALWAYS
);

$view->setSettings( $settings);   // <----ERROR ;-)