Fixed bug #15254: Extension Manager allows to edit arbitrary files if noEdit flag...