mgchris

I get the same issue on WP 5.3.2, php 7.3.13, the lines in post.php are now 6971 and 6972.