<?php class Ticket785 extends TPage { }