User scripts and gadgets deployment for MediaWiki (Wikipedia).