Insight.io for GitHub is a browser plugin for GitHub that enables you to navigate and search through repositories like it's in your IDE
I am a software engineer at Google and I constantly use this tool known as CodeSearch at Google and I am a big fan of the product. insight.io seems to be expanding this concept to repositories on GitHub in general, pretty impressive work!
code search made it so much easier to navigate through your code!
waiting for more support on PHP