Copies Log.php from devtools