original_string: public function print_login() {
          $keyword = new stdClass();
          $keyword->label = get_string('keyword', 'repository_wikimedia').': ';
          $keyword->id    = 'input_text_keyword';
          $keyword->type  = 'text';
          $keyword->name  = 'wikimedia_keyword';
          $keyword->value = '';
          $maxwidth = array(
              'label' => get_string('maxwidth', 'repository_wikimedia').': ',
              'type' => 'text',
              'name' => 'wikimedia_maxwidth',
              'value' => get_user_preferences('repository_wikimedia_maxwidth', WIKIMEDIA_IMAGE_SIDE_LENGTH),
          );
          $maxheight = array(
              'label' => get_string('maxheight', 'repository_wikimedia').': ',
              'type' => 'text',
              'name' => 'wikimedia_maxheight',
              'value' => get_user_preferences('repository_wikimedia_maxheight', WIKIMEDIA_IMAGE_SIDE_LENGTH),
          );
          if ($this->options['ajax']) {
              $form = array();
              $form['login'] = array($keyword, (object)$maxwidth, (object)$maxheight);
              $form['nologin'] = true;
              $form['norefresh'] = true;
              $form['nosearch'] = true;
              $form['allowcaching'] = false; // indicates that login form can NOT
              // be cached in filepicker.js (maxwidth and maxheight are dynamic)
              return $form;
          } else {
              echo <<<EOD
  <table>
  <tr>
  <td>{$keyword->label}</td><td><input name="{$keyword->name}" type="text" /></td>
  </tr>
  </table>
  <input type="submit" />
  EOD;
          }
      }
code: public function print_login() {
          $keyword = new stdClass();
          $keyword->label = get_string('keyword', 'repository_wikimedia').': ';
          $keyword->id    = 'input_text_keyword';
          $keyword->type  = 'text';
          $keyword->name  = 'wikimedia_keyword';
          $keyword->value = '';
          $maxwidth = array(
              'label' => get_string('maxwidth', 'repository_wikimedia').': ',
              'type' => 'text',
              'name' => 'wikimedia_maxwidth',
              'value' => get_user_preferences('repository_wikimedia_maxwidth', WIKIMEDIA_IMAGE_SIDE_LENGTH),
          );
          $maxheight = array(
              'label' => get_string('maxheight', 'repository_wikimedia').': ',
              'type' => 'text',
              'name' => 'wikimedia_maxheight',
              'value' => get_user_preferences('repository_wikimedia_maxheight', WIKIMEDIA_IMAGE_SIDE_LENGTH),
          );
          if ($this->options['ajax']) {
              $form = array();
              $form['login'] = array($keyword, (object)$maxwidth, (object)$maxheight);
              $form['nologin'] = true;
              $form['norefresh'] = true;
              $form['nosearch'] = true;
              $form['allowcaching'] = false; // indicates that login form can NOT
              // be cached in filepicker.js (maxwidth and maxheight are dynamic)
              return $form;
          } else {
              echo <<<EOD
  <table>
  <tr>
  <td>{$keyword->label}</td><td><input name="{$keyword->name}" type="text" /></td>
  </tr>
  </table>
  <input type="submit" />
  EOD;
          }
      }
code_tokens: public function print_login ( ) { $ keyword = new stdClass ( ) ; $ keyword -> label = get_string ( 'keyword' , 'repository_wikimedia' ) . ': ' ; $ keyword -> id = 'input_text_keyword' ; $ keyword -> type = 'text' ; $ keyword -> name = 'wikimedia_keyword' ; $ keyword -> value = '' ; $ maxwidth = array ( 'label' => get_string ( 'maxwidth' , 'repository_wikimedia' ) . ': ' , 'type' => 'text' , 'name' => 'wikimedia_maxwidth' , 'value' => get_user_preferences ( 'repository_wikimedia_maxwidth' , WIKIMEDIA_IMAGE_SIDE_LENGTH ) , ) ; $ maxheight = array ( 'label' => get_string ( 'maxheight' , 'repository_wikimedia' ) . ': ' , 'type' => 'text' , 'name' => 'wikimedia_maxheight' , 'value' => get_user_preferences ( 'repository_wikimedia_maxheight' , WIKIMEDIA_IMAGE_SIDE_LENGTH ) , ) ; if ( $ this -> options [ 'ajax' ] ) { $ form = array ( ) ; $ form [ 'login' ] = array ( $ keyword , ( object ) $ maxwidth , ( object ) $ maxheight ) ; $ form [ 'nologin' ] = true ; $ form [ 'norefresh' ] = true ; $ form [ 'nosearch' ] = true ; $ form [ 'allowcaching' ] = false ; // indicates that login form can NOT // be cached in filepicker.js (maxwidth and maxheight are dynamic) return $ form ; } else { echo  <<<EOD
  <table>
  <tr>
  <td>{$keyword->label}</td><td><input name="{$keyword->name}" type="text" /></td>
  </tr>
  </table>
  <input type="submit" />
  EOD ; } }
docstring: this function will be called to print a login form.
docstring_tokens: this function will be called to print a login form .