Todo List
This class is a basic extension that provide the funcionality of set options to other extensions or to the whole PHP_Shell.
[line 43]
[line 51]
[line 59]
void cmdSet( string $l)
:set al to enable autoload :set bg=dark to enable highlighting with a dark backgroud
void execute( string $key, mixed $value)
calls the setor for the :set <option>
PHP_Shell_Options getInstance( )
array getOptions( )
void register( )
void registerOption( string $option, object $obj, string $setor, [string $getor = null])
void registerOptionAlias( string $alias, string $option)
e.g.: bg maps to background