ajaxorg/cloud9 — pull request #1304 by josephwegner (2012-04-17 16:06:59+00:00)
Title: Change all file extension references to lowercase

This commit is in reference to [issue 1247](https://github.com/ajaxorg/cloud9/issues/1247)

As far as I'm aware, it's a pretty standard fact that the capitalization of a file extension is of no importance. Perhaps I am mistaken - and would love to see an example - but this commit is based on that assumption.

I went through all the references to a file extension in the client-side code (specifically searched for .split(".").pop() ) and added on a .toLowerCase(). This fixes the specific issue in #1247, and may also fix future similar issues.