mirror of
https://github.com/phpbb/phpbb.git
synced 2025-05-18 21:39:52 +02:00
The value is stored in a text column and the key is stored in a varchar. Some DBMSes do not like it when we insert integers into text columns. Cast both to string to be on the safe side. PHPBB3-12711