Penetapan tanggal 22 Okober sebagai Hari Santri Nasional 5 tahun lalu oleh presiden Jokowi tak terlepas dari latar belakang, peran serta kaum santri d