Se normalmente installi discord.js usando un package manager, ad esempio con
puoi semplicemente indicare la versione subito dopo il nome del pacchetto. La pagina ufficiale del pacchetto su npm è
https://www.npmjs.com/package/discord.js, nell'ultima scheda puoi vedere le versioni esistenti. Una volta trovata quella che vuoi (immagino l'ultima della 13), dovrai solo rimuovere la versione installata del pacchetto
e installare la versione che vuoi
Codice:
npm install discord.js@versione
In alternativa, puoi modificare la versione indicata su package.json, e dopo eseguire
(senza parametri), modificherà in automatico la versione del pacchetto installata.