An adaptation of phpScheduleIt for equipment and room bookings at IDI