Provide TeX-Hyphenation to PHP