<?php
$flag 
getenv('FLAG');
file_put_contents("/tmp/flag.txt"$flag);
$dom = new DOMDocument();
$dom->loadXML(base64_decode($_GET["xml"]), LIBXML_NOENT LIBXML_DTDLOAD);
$info simplexml_import_dom($dom);
echo 
$info;
echo 
highlight_file(__FILE__true);