Category:Extensions bundled with MediaWiki/pt

These extensions are included in the MediaWiki downloads.