Ref T2312. Numeric strings are read out of arrays as integers, and modern PHP raises appropriate warnings when they're then treated as strings.

For now, cast the keys to strings explicitly (we know we inserted only strings). In the future, introduction of a StringMap type or similar might be appropriate.

• Added "abc.12345.xyz" to the blocklist, changed my VCS password.
• Before: fatal when trying to "strpos()" an integer.
• After: password change worked correctly.