Questo è il pezzo di main.class.php dove includo definitions.php

codice:
<?php
 
session_start();
include_once dirname(__FILE__) . '/definitions.php';