Travis: Initiating build for commit 'b7ecfda17d8eb123b7f6088e1f8b66f0bea06c77' on branch 'bugfix/6156': Fixes #6156 Redirect /index.php/.whatever?... to /index.php?...

/index.php/.html?... URLs can be interpreted by old browsers using the extension instead of the Content-Type header. This redirection should prevent that.