Workaround for a hhvm problem. Also makes sense in vanilla php.
Merge branch 'master' of github.com:fruux/sabre-dav
Merge branch 'master' into hhvm