Mantis Plugin adding a field in the filter to filter by a given list of bug IDs - View it on GitHub