Als ich noch jung war ....
[seitenweises gesudere, um wie viel besser doch die gute alte zeit war entfernt]
musste man sowas noch selber implementieren:
PHP-Code:
$text = "{beliebiger string";
if( strpos($text, "{") == 0) {
$kurz = substr( $text, 1);
}
(ungetestet)