uhttpd config, index file, php vs. html

[federicofissore]

index_page is not a "list" option, so you can set only one. Easy trick is to always use index.html and it redirect to index.php when appropriate