Replace short php tags in plugin.php