Credo il tuo docente si riferisse all'estensione php-gtk per la creazione di applicazioni client-side.