[support] Permissions Problem

Seems that if a node uses "Full HTML" then a user needs PHP rights to edit it. Is there a way to give him rights to Full HTML and not PHP? Thanks.