PHP Libotr extension