Index of /extensions/SemanticMediaWiki/src/MediaWiki/Deferred

	Name	Last modified	Size	Description
	Parent Directory		-
	ChangeTitleUpdate.php	2020-07-12 16:06	1.9K
	HashFieldUpdate.php	2020-07-12 16:06	1.9K
	TransactionalCallabl..>	2020-07-12 16:06	6.3K
	CallableUpdate.php	2020-07-12 16:06	7.2K