adjustString: dont touch non-strings

Author: martinlindhe

src/Generator.php

@@ -65,6 +65,10 @@ private function allocateLocaleArray($path)
      */
     private function adjustString($s)
     {
+        if (!is_string($s)) {
+            return $s;
+        }
+
         return preg_replace_callback(
             '/:\w*/',
             function ($matches) {