Библиотека PHP для преобразования HTML4 в XHTML?