Techniques for optimizing the manifest data for MediaWiki's ResourceLoader startup module