I was reading and learning a code and I found this code, infoBookingsTitle shows the title of the page, which is "Reservation options", I tried to found this file to edit the "Reservation options" word with something else but I didn't know where should I look, like what is that a PHP file, class or what?
<div>
<h2> <?php __('infoBookingsTitle') ?> </h2>
</div>
Thanks.