mod/hotpot/defaults.php

   1 <?php
   2     if (empty($CFG->hotpot_initialdisable)) {
   3         if (!count_records('hotpot')) {
   4             set_field('modules', 'visible', 0, 'name', 'hotpot');  // Disable it by default
   5             set_config('hotpot_initialdisable', 1);
   6         }
   7     }
   8
   9 ?>