remove php documentor plugin