Fix type error (#898)

mnapoli · web-flow · commit 0f4d026b10dd · 2020-12-11T09:55:00.000+01:00
The profile name seems to be cast to an integer if it looks like an integer.

That's the case for example with a `7777` profile, I got the following error:

```
PHP Fatal error:  Uncaught TypeError: preg_replace(): Argument #3 ($subject) must be of type array|string, int given in .../vendor/async-aws/core/src/Credentials/IniFileLoader.php:56
Stack trace:
#0 .../vendor/async-aws/core/src/Credentials/IniFileLoader.php(56): preg_replace('/^profile /', '', 7777)
```
diff --git a/src/Credentials/IniFileLoader.php b/src/Credentials/IniFileLoader.php
@@ -53,7 +53,7 @@ public function loadProfiles(array $filepaths): array
             }
 
             foreach ($this->parseIniFile($filepath) as $name => $profile) {
-                $name = \preg_replace('/^profile /', '', $name);
+                $name = \preg_replace('/^profile /', '', (string) $name);
                 if (!isset($profilesData[$name])) {
                     $profilesData[$name] = \array_map('trim', $profile);
                 } else {

Original file line number	Diff line number	Diff line change
`@@ -53,7 +53,7 @@ public function loadProfiles(array $filepaths): array`
`53`	`53`	`}`
`54`	`54`
`55`	`55`	`foreach ($this->parseIniFile($filepath) as $name => $profile) {`
`56`		`- $name = \preg_replace('/^profile /', '', $name);`
	`56`	`+ $name = \preg_replace('/^profile /', '', (string) $name);`
`57`	`57`	`if (!isset($profilesData[$name])) {`
`58`	`58`	`$profilesData[$name] = \array_map('trim', $profile);`
`59`	`59`	`} else {`