// If we're folding PHP. Note that PHP folding can only be
// "one level deep," so our logic here is simple.
if (language>=0 && t.getType()==Token.SEPARATOR) {
// <?, <?php, <%, <%!, ...
if (t.startsWith(LANG_START[language])) {
if (currentFold==null) {
currentFold = new Fold(FoldType.CODE, textArea, t.getOffset());
folds.add(currentFold);
}
else {