<?php

echo str_replace('\?','?','<\? -- \?>');