This is an old revision of the document!
Plugin allowing to set a server default page.
Edit the plugins/ServerDefaultPage/config.php: