Hey everyone, I had this same problem as well.
Rather than delete line 95 however, I ended up adding the following line to the top of wp-includes/formatting.php:
require_once('shortcodes.php');
That solved the problem, and line 95 still gets to do whatever it’s doing.
