Add more options for the Mongoose web-server in settings.json about phpdesktop

[GoogleCodeExporter]

Added the web server > "hide_files" option to settings.json. In branch 1650 in revision 1afd0c8. In branch 2171 in revision c1ba05c. See the Settings wiki page for a detailed description of this option.

Original comment by [email protected] on 13 Feb 2015 at 11:18

[PatchRanger]

The extra_mime_types setting is absolutely required in my case: I want .mp4-files to be played instead of downloaded. That is also useful for the same cases for other video or audio mime types.

[cztomczak]

@PatchRanger extra_mime_types option added in revision 7de2205 in branch extra_mime_types (a temporary test branch). This code wasn't tested. Feel free to test it - build instructions are on the Build on Windows wiki page. If it works fine please submit a pull request to the master branch along with an update to the Settings wiki page describing the option. If you have any questions or encounter problems while building please create a topic on the forum.

[cztomczak]

Update to settings.json in revision cce34ca.