Con la 4.9.12 non ho problemi, MiTools e MiTheme funzionano (ho notato anche io che MiTools ha dei moduli che non vanno più)
Il problema è il framework che installa wsm tools, non l'applicazione in se, dalle versioni successive alla 4.9.12 diventa inutilizzabili, probabilmente l'aggiornamento cambia dai particolari indispensabili per wsm che non riesce più a funzionare bene. Per questo sono voluto tornare indietro, tanto finché non esce la v6 è inutile continuare ad aggiornare.