come faccio a creare un file per l'extension manager?