php-uuid-interface