update phpDoc for Doc::getRValue and Doc::getDocValue (closes #3671)