added definitions.php