EXTENSION_USER_START top-level constant
Minimal extension number for user-defined extensions
Implementation
@Deprecated('Deprecated, use extensionUserStart instead')
// ignore: constant_identifier_names
const int EXTENSION_USER_START = extensionUserStart;