MySQL Bugs: #119600: FOUND_ROWS not marked as deprecated

Bug #119600	FOUND_ROWS not marked as deprecated
Submitted:	28 Dec 4:45
Reporter:	Daniel Osmond	Email Updates:
Status:	Open	Impact on me:	None
Category:	MySQL Server: Documentation	Severity:	S3 (Non-critical)
Version:	8.4+	OS:	Any
Assigned to:		CPU Architecture:	Any
Tags:	documenation

View
Add Comment
Files
Developer
Edit Submission
View Progress Log
Contributions

Description:
FOUND_ROWS() has a note that it is deprecated. 
https://dev.mysql.com/doc/refman/8.4/en/information-functions.html#function_found-rows

It doesn't show up as deprecated in the built-in functions reference.

https://dev.mysql.com/doc/refman/8.4/en/built-in-function-reference.html

How to repeat:
View the docs at https://dev.mysql.com/doc/refman/8.4/en/built-in-function-reference.html

Suggested fix:
Mark FOUND_ROWS as deprecated in the built-in functions docs