Generic PHP Plugin/Setting Management

This is the configuration output file 'config.php', were it written to disk. (It just lacks the enclosing <?php and ?> here.)

#...
#...
$unused_var["1"] = 1;
$unused_var["2"] = '';
$app_settings["example"] = 'Ybl';
$app_settings["sidebar_title"] = 12345678;
#...
#...
#...
#...
#...
include_once("plugins/img.php");
include_once("plugins/null.php");
include_once("plugins/searchbox.php");
include_once("lib/libconfigedit.php");
include_once("lib/libconfig.php");
include_once("plugins/upgrade.php");
include_once("lib/pluginmetadata.php");
include_once("plugins/sidebar5.php");
include_once("plugins/sidebar_adminlink.php");
include_once("plugins/sidelogin.php");
include_once("plugins/example.php");
#...