- jsgettext now requires php >= 5.4