make PageInfo.setExtension public as the other setters are