if ( file_exists(XOOPS_ROOT_PATH."/modules/theme_changer/include/theme_changer_patch.php") ){
include XOOPS_ROOT_PATH."/modules/theme_changer/include/theme_changer_patch.php";
}
if ( file_exists(XOOPS_ROOT_PATH."/modules/theme_changer/include/theme_changer_patch.php") ){
include XOOPS_ROOT_PATH."/modules/theme_changer/include/theme_changer_patch.php";
}