Manual:StringDef.php