https://tomcat.apache.org/tomcat-8.5-doc/index.html says: Servlet 4.0 Javadocs but https://tomcat.apache.org/whichversion.html for 8.5.x says: Apache Tomcat 8.0.x builds on Tomcat 7.0.x and implements the Servlet 3.1, JSP 2.3, EL 3.0 and WebSocket 1.1 specifications. In addition to that, it includes the following significant improvements: A single, common resources implementation to replace the multiple resource extension features provided in earlier versions. Apache Tomcat 8.5.x supports the same Servlet, JSP, EL, and WebSocket Specification versions as Apache Tomcat 8.0.x. In addition to that, it also implements the JASPIC 1.1 specification. So I guess the menu on the left-hand side is incorrect.
Looks like there is a wider issue. The versions in the Tomcat 11 docs aren't right either. I'll go through and check them all.
All reviewed and fixed. The changes will be visible once the July releases are published.
(In reply to Mark Thomas from comment #2) > All reviewed and fixed. The changes will be visible once the July releases > are published. Appreciated.