+function _ext($ext) {
+ if (!extension_loaded($ext)) {
+ die("skip $ext extension needed\n");
+ }
+}
+
+function utf8locale() {
+ if (stristr(setlocale(LC_CTYPE, "C.UTF-8"), "utf")) {
+ return true;
+ }
+ $locale = setlocale(LC_CTYPE, null);
+ if (stristr($locale, "utf") && substr($locale, -1) === "8") {
+ return true;
+ }
+ return false;
+}
+