Only options which are registered in core or in one of installed extensions, or options with keys prefixed with userjs- (intended to be used by user scripts), can be set.
Wir verwenden für unsere Seite ausschließlich technisch notwendige Cookies. Weitere Informationen dazu finden Sie in unseren Datenschutzhinweisen