original_string: public function get_install_xml_files(): array {
          global $CFG;
          require_once($CFG->libdir.'/adminlib.php');
  
          $files = [];
          $dbdirs = get_db_directories();
          foreach ($dbdirs as $dbdir) {
              $filename = "{$dbdir}/install.xml";
              if (file_exists($filename)) {
                  $files[] = $filename;
              }
          }
  
          return $files;
      }
code: public function get_install_xml_files(): array {
          global $CFG;
          require_once($CFG->libdir.'/adminlib.php');
  
          $files = [];
          $dbdirs = get_db_directories();
          foreach ($dbdirs as $dbdir) {
              $filename = "{$dbdir}/install.xml";
              if (file_exists($filename)) {
                  $files[] = $filename;
              }
          }
  
          return $files;
      }
code_tokens: public function get_install_xml_files ( ) : array { global $ CFG ; require_once ( $ CFG -> libdir . '/adminlib.php' ) ; $ files = [ ] ; $ dbdirs = get_db_directories ( ) ; foreach ( $ dbdirs as $ dbdir ) { $ filename = "{$dbdir}/install.xml" ; if ( file_exists ( $ filename ) ) { $ files [ ] = $ filename ; } } return $ files ; }
docstring: Get the list of install.xml files.
  
  @return array
docstring_tokens: Get the list of install . xml files .