New PHP features + offline rendering

- PHP version check (5.3 min is required)
- new handling of headers
- new `$default` arg when getting a setting
- HTML5 validity
- special « no-js » class added to the body for offline rendering
- offline warning text