replace-charref ( str -- newstr )

Vocabulary

html.entities.private

Inputs

str

an object

Outputs

newstr

an object

Definition

USING: kernel splitting ;

IN: html.entities.private

: replace-charref ( str -- newstr )
    "#" ?head [ numeric-charref ] [ named-charref ] if ;