Refactoring of PHP opening tags to <?php