original_string: public function get_selected_users() {
          // Do a lazy load.
          if (is_null($this->selected)) {
              $this->selected = $this->load_selected_users();
          }
          return $this->selected;
      }
code: public function get_selected_users() {
          // Do a lazy load.
          if (is_null($this->selected)) {
              $this->selected = $this->load_selected_users();
          }
          return $this->selected;
      }
code_tokens: public function get_selected_users ( ) { // Do a lazy load. if ( is_null ( $ this -> selected ) ) { $ this -> selected = $ this -> load_selected_users ( ) ; } return $ this -> selected ; }
docstring: The users that were selected.
  
  This is a more sophisticated version of optional_param($this->name, array(), PARAM_INT) that validates the
  returned list of ids against the rules for this user selector.
  
  @return array of user objects.
docstring_tokens: The users that were selected .