key property

String key
final

Extension key used with CREATE EXTENSION.

Implementation

final String key;