propriedades eclipse php