mozilla/dxr — pull request #338 by erikrose (2014-09-22 22:05:14+00:00)
Title: Ext filter

Add ExtFilter, which implements filtering by file extension. Add dedicated needles for extension; that way, we can use nice, cacheable term filters.