mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
^KTIJ-23629 Fixed GitOrigin-RevId: 6c8d53dc05039b18081ec177d7631535f116c8b5
10 lines
166 B
Plaintext
10 lines
166 B
Plaintext
// JS
|
|
// FIX: Change to 'var'
|
|
|
|
import react.State
|
|
|
|
external interface ExternalInterfaceWithPropertiesExtendingState : State {
|
|
var pl: String
|
|
var pr: String
|
|
}
|