menu_set_custom_theme()
Sets a custom theme for the current page, if there is one.
includes/menu.inc, line 1744
<?php function menu_set_custom_theme() { menu_get_custom_theme(TRUE); } ?>