Home
last modified time | relevance | path

Searched refs:PR_trim (Results 1 – 2 of 2) sorted by relevance

/plugin/code3/src/
H A Dtz.js233 function PR_trim(s) { function
1434 if (PR_startsWith(PR_trim(chunks[i].token), '<')) {
1437 isMarkup = PR_endsWith(PR_trim(chunks[j].token), '>');
/plugin/code3/
H A Dscript.js11 …PR_trim(i){var I=0,l=i.length-1;while(I<=l&&PR_isSpaceChar(i.charAt(I))){++I}while(l>I&&PR_isSpace… function