mysqli_get_cache_stats() has vanished

Hi! Does anybody know what happened to mysqli_get_cache_stats()? Apparently, its implementation has vanished between two consecutive commits: <https://github.com/php/php-src/blob/40fabf68edd5524b9ce0cda925d6c7888d8441c3/ext/mysqli/mysqli_nonapi.c>, <https://github.com/php/php-src/blob/b6898195674a26bf6588c284a6a2616bbaaa908f/ext/mysqli/mysqli_nonapi.c>. It seems that happened accidentally, as the respective forward declaration in mysqli_fe.h is still there, and the removal doesn't seem to be documented (neither in NEWS nor UPGRADING). I wonder what to do now, as the function never had a useful implementation. Shall it be officially removed? See also the related bug reports <https://bugs.php.net/bug.php?id=61838> and <https://bugs.php.net/bug.php?id=70352>. -- Christoph M. Becker