7899:ecf67e07b6e0 | 7900:72b88fb20261 |
---|---|
524 | 524 |
525 <dt><i>name</i></dt> | 525 <dt><i>name</i></dt> |
526 <dd> | 526 <dd> |
527 name of the module to be activated | 527 name of the module to be activated |
528 </dd> | 528 </dd> |
529 <dt><i>onDemand=</i></dt> | 529 <dt><i>onDemand</i></dt> |
530 <dd> | 530 <dd> |
531 flag indicating activation of an | 531 flag indicating activation of an |
532 on demand plugin (boolean) | 532 on demand plugin (boolean) |
533 </dd> | 533 </dd> |
534 </dl> | 534 </dl> |
633 | 633 |
634 <dt><i>name</i></dt> | 634 <dt><i>name</i></dt> |
635 <dd> | 635 <dd> |
636 name of the module to be deactivated | 636 name of the module to be deactivated |
637 </dd> | 637 </dd> |
638 <dt><i>onDemand=</i></dt> | 638 <dt><i>onDemand</i></dt> |
639 <dd> | 639 <dd> |
640 flag indicating deactivation of an | 640 flag indicating deactivation of an |
641 on demand plugin (boolean) | 641 on demand plugin (boolean) |
642 </dd> | 642 </dd> |
643 </dl> | 643 </dl> |
883 </dd> | 883 </dd> |
884 <dt><i>typename</i></dt> | 884 <dt><i>typename</i></dt> |
885 <dd> | 885 <dd> |
886 name of the plugin within the type category (string) | 886 name of the plugin within the type category (string) |
887 </dd> | 887 </dd> |
888 <dt><i>maybeActive=</i></dt> | 888 <dt><i>maybeActive</i></dt> |
889 <dd> | 889 <dd> |
890 flag indicating, that the plugin may be active | 890 flag indicating, that the plugin may be active |
891 already (boolean) | 891 already (boolean) |
892 </dd> | 892 </dd> |
893 </dl> | 893 </dl> |