Added PHPDoc to edd_count_file_downloads_of_user()