Extracted from Pike v7.6 release 33 at 2006-10-17.
[Top]
7.2::
String
String.String_buffer
Methods
append()
cast()
flush()
get_buffer()
String.String_buffer()->append()
String.String_buffer()->flush()
Method String.String_buffer()->cast()
Method
cast
mixed
cast
(
string
to
)