00001 <?php 00002 00011 function area_banner_install() { 00012 00013 } 00014 00019 function area_banner_uninstall() { 00020 variable_del('area_banner_sets'); 00021 variable_del('area_banner_active_menu'); 00022 variable_del('area_default_banner_path'); 00023 }