php-user-agent-provider-interface