Variable stars in the globular cluster NGC 4372: An updated census from time-series photometry | Synapse