var theme__init_8php =
[
    [ "$channel", "theme__init_8php.html#a54f32c086fe209c99769a4c4047dd864", null ]
];