fix rpn in php