{
	"root": true,
	"extends": [
		"wikimedia/server",
		"wikimedia/mediawiki"
	]
}