diff options
author | Ramón M. Gómez <ramongomez@us.es> | 2018-11-20 12:52:28 +0100 |
---|---|---|
committer | Ramón M. Gómez <ramongomez@us.es> | 2018-11-20 12:52:28 +0100 |
commit | b3dfeb6d33eab2e0a664d111bf6a30679e9df057 (patch) | |
tree | 593488b601e6129b773a37aac7b9985c3f43aff2 /admin/WebConsole/idiomas/php/eng/propiedades_repositorios_eng.php | |
parent | a37e8cbbc4557c4407a0d29edd97bf472da0b4b1 (diff) |
#875: Remove port from repository properties form and alter the database.
Diffstat (limited to 'admin/WebConsole/idiomas/php/eng/propiedades_repositorios_eng.php')
-rw-r--r-- | admin/WebConsole/idiomas/php/eng/propiedades_repositorios_eng.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/admin/WebConsole/idiomas/php/eng/propiedades_repositorios_eng.php b/admin/WebConsole/idiomas/php/eng/propiedades_repositorios_eng.php index 8bee9e3f..0abe1c52 100644 --- a/admin/WebConsole/idiomas/php/eng/propiedades_repositorios_eng.php +++ b/admin/WebConsole/idiomas/php/eng/propiedades_repositorios_eng.php @@ -4,7 +4,7 @@ // Php language file: propiedades_repositorios_eng.php // Language: English //________________________________________________________________________________________________________ -$TbMsg=array(); +if (empty ($TbMsg)) $TbMsg=array(); $TbMsg[0]="No Option"; $TbMsg[1]="Insert"; $TbMsg[2]="Change"; @@ -13,7 +13,7 @@ $TbMsg[4]="Repository management"; $TbMsg[5]="Repository name"; $TbMsg[6]="IP address"; $TbMsg[7]="Comments"; -$TbMsg[8]="Port"; + $TbMsg[9]="Base Directory"; $TbMsg[10]="PXE Directory"; $TbMsg[11]="TOTAL space"; |