Plugin for Adminer for filtering the tables menu that is faster than the official plugin. Useful when there's way too many tables in the list and AdminerTablesFilter is slow.
To install just add new FasterTablesFilter to the $plugins array.
LinkedList/FasterTablesFilter
Useful when there's way too many tables than it shoud be and Adminer Tables Filter is slow
PHP