code: function () {
              var as,
                  chr,
                  ret = "";
              for (i++; i < length; i++) {
                  chr = source.charAt(i);
                  as = chr.charCodeAt(0);
                  if (isWhitespace(as)) {
                      ret += chr;
                  } else {
                      i--;
                      break;
                  }
              }
              return ret;
          }
docs: Split given source into PHP tokens + original by: Marco Marchiò + improved by: Brett Zamir (http://brett-zamir.me) - depends on: token_name % note 1: Token numbers depend on the PHP version % note 2: token_name is only necessary for a non-standard php.js-specific use of this function; % note 2: if you define an object on this.php_js.phpParser (where "this" is the scope of the % note 2: token_get_all function (either a namespaced php.js object or the window object)), % note 2: this function will call that object's methods if they have the same names as the tokens, % note 2: passing them the string, line number, and token number (in that order) * example 1: token_get_all('/'+'* comment *'+'/'); * returns 1: [[310, '/* comment */', 1]] Token to number conversion