Extracted from Pike v7.8 release 866 at 2018-07-18.
pike.ida.liu.se
[Top]
7.2::
String
String.String_buffer

Method String.String_buffer()->cast()


Method cast

mixed cast(string to)