add missing legacyOnly currency, fdo#84260

aa33dd16 changed the currency symbol
from ¢ to ₡ but changed only the symbol. Actually changing the number
format codes wasn't necessary at all, but changing only the symbol is
wrong, see also the ATTLIST Currency  legacyOnly description in
i18npool/source/localedata/data/locale.dtd

Hopefully nothing relies on the actual symbol used in the number format
codes ...

Change-Id: I92e79403fbb80f18c44dc3ecf5a3830a52fd2ff8

i18npool/source/localedata/data/es_CR.xml

@@ -185,6 +185,13 @@
       <CurrencyName>Colon</CurrencyName>
       <DecimalPlaces>2</DecimalPlaces>
     </Currency>
+    <Currency default="false" usedInCompatibleFormatCodes="false" legacyOnly="true">
+      <CurrencyID>CRC</CurrencyID>
+      <CurrencySymbol>¢</CurrencySymbol>
+      <BankSymbol>CRC</BankSymbol>
+      <CurrencyName>Colon</CurrencyName>
+      <DecimalPlaces>2</DecimalPlaces>
+    </Currency>
   </LC_CURRENCY>
   <LC_TRANSLITERATION ref="en_US"/>
   <LC_MISC ref="es_ES"/>