original_string: public function execute(array $records) : array {
          $idalias = $this->idalias;
          $alias = $this->alias;
  
          return array_map(function($record) use ($idalias, $alias) {
              return user_picture::unalias($record, null, $idalias, $alias);
          }, $records);
      }
code: public function execute(array $records) : array {
          $idalias = $this->idalias;
          $alias = $this->alias;
  
          return array_map(function($record) use ($idalias, $alias) {
              return user_picture::unalias($record, null, $idalias, $alias);
          }, $records);
      }
code_tokens: public function execute ( array $ records ) : array { $ idalias = $ this -> idalias ; $ alias = $ this -> alias ; return array_map ( function ( $ record ) use ( $ idalias , $ alias ) { return user_picture :: unalias ( $ record , null , $ idalias , $ alias ) ; } , $ records ) ; }
docstring: Extract the user records from a list of DB records.
  
  @param stdClass[] $records The DB records
  @return stdClass[] The list of extracted users
docstring_tokens: Extract the user records from a list of DB records .