No option bug (img source button still showing up) fixed.
initserv.php initialises server.
serverspecific.php has server-specific configurations.
modifications commited.
saving all changes.