<?php
$specialPageAliases = [];

/** English */
$specialPageAliases['en'] = [
	'PermissionManager' => [ 'PermissionManager', 'Permission Manager' ],
];

/** German (Deutsch) */
$specialPageAliases['de'] = [
	'PermissionManager' => [
		'PermissionManager',
		'Permission Manager',
		'Rechteverwaltung',
		'Rechtemanager'
	],
];