_wptexturize_pushpop_element is private and should not be used in themes or plugins directly.
Search for disabled element tags. Push element to stack on tag open and pop on tag close.
Assumes first char of $text is tag opening and last char is tag closing. Assumes second char of $text is optionally '/' to indicate closing as in