Translations:Manual:Extensions/72/es

Lo más probable es que se trate de líneas de código que den a determinados usuarios el derecho de acceder a páginas provistas por la extensión.