![]() |
![]() |
$config.filenameReturns the filename of an open config file |
Usage |
|
Description |
Returns the filename of the open config file identifier by <id>. <id> must be a valid config identifier returned by $config.open() If the <id> doesn't match any open file, and empty string is returned. |
Syntax Specification |
|
See also |
config module documentation |