Update def.php