Translations:Extension:PageSecurity/Note for SE Linux users/4/en

Where $filename is the name of the patched file. For instance: