.info files alleen updaten bij verandering

In de huidige build worden de server files bij een maintenance script run altijd geupdate, er word niet (meer) gekeken naar of de wiki pagina's daadwerkelijk worden veranderd of niet. Graag een optie om de .info files alleen te updaten wanneer er verandering plaatsvindt bij de pagina's waar ze bij horen.

Use case: Wanneer een git-based wiki de pagesync files bijhoudt en een wsps maintenance run wordt gedraaid (bij KHUB gebeurt dit vaak voor routine) worden alle .info files veranderd binnen git. Dit vermindert overzicht enorm, terwijl er misschien niet eens daadewerklijke verandering plaatsvindt (180 geskipte pagina's tijdens maintenance run = 180 changed files volgens git)

Idee vormgeving: Script parameter is niet mogelijk, maar een server config optie wel. Iets als:

$wgWSPageSyncUpdateChangedFilesOnly = true / false;