Moved Definitions.php to Definitions.php.example