var settings_8php =
[
    [ "get_theme_config_file", "settings_8php.html#a39abc76ff5459c57e3b957664f273f18", null ],
    [ "settings_aside", "settings_8php.html#ae5aebccb006bee1300078576baaf5582", null ],
    [ "settings_post", "settings_8php.html#aa7ee94d88ac088edb04ccf3a26de3586", null ]
];