Update WhitespaceNgramTokenizer.php