var dir_7ddcf206aaa3a9c8f0e8a9760ac02bed =
[
    [ "style.php", "sporadic_2php_2style_8php.html", null ],
    [ "theme.php", "sporadic_2php_2theme_8php.html", "sporadic_2php_2theme_8php" ]
];