Remove bug in @php annotation management.