On Fri, Nov 22, 2013 at 2:27 PM, Dan Andreescu <dandreescu(a)wikimedia.org>wrote;wrote:
So, for now, until I figure out how to fix this, it
will always prefer
user_names before user_ids.
I think this is an argument for making users specifying whether it's names
or ids up front, and not allowing mixtures. Assuming it might be a mixture
and looking for names first is almost certain to produce inaccurate results
at some point. We have ids precisely to avoid collisions with names,
allowing for renaming users, and other cases.
--
Steven Walling,
Product Manager
https://wikimediafoundation.org/