original_string: public function execute() {
          $areaid = $this->get_custom_data();
  
          try {
              \core_search\manager::clean_up_non_existing_area($areaid);
          } catch (\core_search\engine_exception $e) {
              mtrace('Search is not configured. Skip deleting index for search area ' . $areaid);
          }
      }
code: public function execute() {
          $areaid = $this->get_custom_data();
  
          try {
              \core_search\manager::clean_up_non_existing_area($areaid);
          } catch (\core_search\engine_exception $e) {
              mtrace('Search is not configured. Skip deleting index for search area ' . $areaid);
          }
      }
code_tokens: public function execute ( ) { $ areaid = $ this -> get_custom_data ( ) ; try { \ core_search \ manager :: clean_up_non_existing_area ( $ areaid ) ; } catch ( \ core_search \ engine_exception $ e ) { mtrace ( 'Search is not configured. Skip deleting index for search area ' . $ areaid ) ; } }
docstring: Run the task to clean up deleted search are data.
docstring_tokens: Run the task to clean up deleted search are data .