Discussioni modulo:String: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
→Segni diacritici: fix link |
|||
Riga 82:
:::Una cosa del genere mi servirebbe anche per togliere i codici %XX dagli url. In generale, se si vuole sostituire una serie di stringhe con un'altra serie di stringhe, c'è un metodo efficiente o bisogna fare tanti gsub quante sono le coppie di valori? --[[Utente:Bultro|Bultro]] ([[Discussioni utente:Bultro|m]]) 15:53, 3 dic 2015 (CET)
::::Per le codifiche percentuali ci sono un paio di funzioni lua [https://www.mediawiki.org/wiki/Extension:Scribunto/Lua_reference_manual#mw.uri.encode mw.uri.encode] e mw.uri.encode). Si potrebbero aggiungere un paio di funzioni che le richiamino (ma ho il sospetto che ci sia già qualcosa del genere nel linguaggio mediawiki). Ma per i segni diacritici non mi vengono in mente metodi che non siano sequenze di gsub e sono molto restio a implementare una cosa del genere.--[[Utente:Moroboshi|<span style="color:#800000;font-weight: bold;">Moroboshi</span>]]<sup> [[Discussioni utente:Moroboshi|scrivimi]]</sup> 16:15, 3 dic 2015 (CET)
:::::In Mediawiki esiste urlencode ma non urldecode.
:::::Per i segni diacritici, essendo corrispondenze 1:1 tra caratteri, si dovrebbe poter fare con relativamente pochi gsub, dal momento che si possono usare i pattern: [àäâă...] viene sostituito da "a" in un unico gsub. --[[Utente:Bultro|Bultro]] ([[Discussioni utente:Bultro|m]]) 17:07, 3 dic 2015 (CET)
| |||