We should probably have:

```php
elseif ( T_DO === $tokens[ $stackPtr ]['code'] )
{
  $acceptable_comments[] = '//end do';
  $acceptable_comments[] = '// end do';
  $acceptable_comments[] = '//END do';
  $acceptable_comments[] = '// END do';
}//end elseif
```