Documento o file

Ciao, ho visto che nell'estensione UploadWizard hai cambiato tutti i file in documento. A me va anche bene, per quanto forse ci siano alternative migliori fra cui non saprei quale scegliere, ma il punto è che tutto il resto di MediaWiki usa file, a partire dal namespace. Avevo cominciato a cambiarli tutti ma sono troppi, per il momento li lascio cosí. Ti chiedo di aprire una discussione in Portal talk:it per decidere quale parola usare in tutto MediaWiki, e poi di applicare la soluzione univoca identificata. Grazie,

Proseguendo nella revisione h visto che in realtà in molte altre occasioni si usava file, che era quindi la maggioranza anche in questa estensione; ho perciò annullato quelle modifiche (se annullabili), in attesa della discussione. Grazie,