> Question A: Do I have to include any special file into my PHP script to 
> get to the $config array, or is it included automatically?

If you're working on a new WebGUI PHP file, just use

    require("guiconfig.inc");

and guiconfig.inc will do the rest for you.


If you're working on a new backend PHP file in /etc/inc/ then use:

    require_once("config.inc");


Thanks to Manuel's design, adding your own variable and parsing the 
config.xml file is trivial.

-- Vincent