<?php
  // A script-style end tag in a comment must be ignored
  echo "foo";
	// </script>
  echo "bar";
?>