Travis: Initiating build for commit '3e6220d0dfbce1cb93787a9933765597936baa06' 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.