Create defs.php