public function readSingleValue(ServerSerializationStreamReader $stream)
 {
     return $stream->readChar();
 }
 protected function readSingleValue(ServerSerializationStreamReader $stream)
 {
     return $stream->readChar();
     // there are no 'char' type in php
 }