From sources:
/* The user has to explicitly compile sablotron with sablotron encoding functions in order for SablotSetEncoding to be enabled. */
This means xslt_set_encoding() won't be available if your
sablot installation hasn't got the SablotSetEncoding enabled.
not PHP bug.