garrynewman/garrysmod — pull request #825 by Bo98 (2014-10-02 19:38:17+00:00)
Title: Improved map counter when filtering maps

The previous CountFiltered function used regex instead of AngularJS's filter function, unlike the actual filterer. This lead to mismatches between the number of actual filtered maps and counter's number. This also fixes some errors that were being spammed in the case of invalid regex expressions being used in the search box.