diff --git a/stubs/extensions/intl.phpstub b/stubs/extensions/intl.phpstub new file mode 100644 index 00000000000..99ead8eaeed --- /dev/null +++ b/stubs/extensions/intl.phpstub @@ -0,0 +1,107 @@ +