Create def.php