ajaxorg/cloud9 — pull request #1749 by gjtorikian (2012-06-24 22:06:53+00:00)
Title: Restore searchinfiles

@javruben

Various things in searchinfiles went missing, this commit brings them back.