Add php-webdav extension for PHP 5.4