var typohelper_8php =
[
    [ "$str", "typohelper_8php.html#a7542d95618011800c61773127fa625cf", null ],
    [ "EOT", "typohelper_8php.html#ab6fd357fb5b2a3ba8aab9e8b98c6a805", null ]
];