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