push_opt property

String push_opt
getter/setter pair

Implementation

static String push_opt = "push_opt";