Howto avoid using the AJAX search in add-users-to-session screen

In Dokeos 1.8.5, in the admin screen that allows to add users to a session, we have implemented an AJAX search, or in human words, a search box that dynamically generates a short list of the users which contain the search string. This feature is only enabled when you have more than 100 users, because the users list would otherwise be very long to load. If you don't like this feature, and would like to keep to a straight, classical, 5000 users list, just change the main/admin/add_users_to_session.php, line 232, change "100" to "5000" to put the limit at 5000, or just remove the option by sett