Allow redirecting to specified version of docs. Change in script.
Version au 03/10/2019. Voir la dernière version.
