Adds Extension.php file.