vanilla/vanilla — pull request #2296 by imnotjames (2014-11-27 08:52:18+00:00)
Title: fix #2258: search users in dashboards with numeric username

this changes the dashboard search so that numbers or IPs aren't searching for only
the user ID or IP addresses - instead it will also search for the field as other types

This may be a performance issue when searching through millions or tens of millions of users.. but that may be a problem for the regular queries anyway.