I'm going to make this change, but we should still check this first -- in the majority case, people are not using the extension map at all (and there's no need to add .php to the map.)