Update ObjectMarkupExtension.php