Category:Extensions used on Wikimedia/pt