Translations:Manual:$wgRevokePermissions/7/es

Esto funciona del mismo modo que $1, con la salvedad de que en este caso si el usuario forma parte de un grupo, el permiso le será retirado en lugar de concedido.