Make admin users/staff users scripts show all users rather than just users...
Make admin users/staff users scripts show all users rather than just users that would be returned by standard search. Fxies #1756. This is actually quite a large patch, which does the following: * adds a db_ilike() method, which returns the correct keyword (LIKE or ILIKE) to do case insensitive searching. * Switches the templates used for the admin user search for strings, rather than using files. This prevents problems when the theme is not the default and the templates are not there. * Implements admin_search_user in the internal search plugin for MySQL as well as postgres, without needing two separate methods since the query works on both. * Make the userlist element use the new json/adminusersearch.php script, which performs an admin user search. One happy upside is that the admin user search screen now works in MySQL.