PHP结束标记:=?>

I've just seen this comment on php.net, which contains the following snippet of code:

</head>
<?= ob_flush(); =?>
<body>

I've not seen the =?> used before (I'm fine with the <?=, that's obvious) and when I put it in a test file it gave a syntax error. So, is this just a typo, or is there any situation where this is syntactically valid?

Typo.

There is a lot of junk in php.net comments.

As of recently, it's now possible to vote on comments on php.net.

I'm pretty sure that's one of the thousands of php.net's comments typos.