Repositorio de mapas mentales para la construcción de conocimiento  Help: fileedit-glob

The "fileedit-glob" setting:

A comma- or newline-separated list of globs of filenames which are allowed to be edited using the /fileedit page. An empty list prohibits editing via that page. Note that it cannot edit binary files, so the list should not contain any globs for, e.g., images or PDFs.