Update definitions.php