PlayerIDList$json top-level constant
Implementation
@$core.Deprecated('Use playerIDListDescriptor instead')
const PlayerIDList$json = const {
'1': 'PlayerIDList',
'2': const [
const {'1': 'list', '3': 1, '4': 3, '5': 9, '10': 'list'},
],
};