If php had native annotations