Since no one said not to, here is the patch file for grid.filter.js.