Fix filter() function parameter in jquery externs