original_string: private function get_players() {
          // Save time by only building the list once.
          if (!$this->players) {
              $sortorder = \core\plugininfo\media::get_enabled_plugins();
  
              $this->players = [];
              foreach ($sortorder as $name) {
                  $classname = "media_" . $name . "_plugin";
                  if (class_exists($classname)) {
                      $this->players[] = new $classname();
                  }
              }
          }
          return $this->players;
      }
code: private function get_players() {
          // Save time by only building the list once.
          if (!$this->players) {
              $sortorder = \core\plugininfo\media::get_enabled_plugins();
  
              $this->players = [];
              foreach ($sortorder as $name) {
                  $classname = "media_" . $name . "_plugin";
                  if (class_exists($classname)) {
                      $this->players[] = new $classname();
                  }
              }
          }
          return $this->players;
      }
code_tokens: private function get_players ( ) { // Save time by only building the list once. if ( ! $ this -> players ) { $ sortorder = \ core \ plugininfo \ media :: get_enabled_plugins ( ) ; $ this -> players = [ ] ; foreach ( $ sortorder as $ name ) { $ classname = "media_" . $ name . "_plugin" ; if ( class_exists ( $ classname ) ) { $ this -> players [ ] = new $ classname ( ) ; } } } return $ this -> players ; }
docstring: Obtains the list of core_media_player objects currently in use to render
  items.
  
  The list is in rank order (highest first) and does not include players
  which are disabled.
  
  @return core_media_player[] Array of core_media_player objects in rank order
docstring_tokens: Obtains the list of core_media_player objects currently in use to render items .