While working on bug #2067634 I realized it was more elegant for the filter(iterator) method to be on ElementFilter, rather than PageElement. That change is in revision 007049a on the 4.13 branch. I haven't changed/updated the docs yet.
While working on bug #2067634 I realized it was more elegant for the filter(iterator) method to be on ElementFilter, rather than PageElement. That change is in revision 007049a on the 4.13 branch. I haven't changed/updated the docs yet.