Fix PHP 8.3 htmlentities null safety, remove unused themes, rename OGP_LANG_ to LANG_

Agent-Logs-Url: https://github.com/GameServerPanel/GSP/sessions/9909a053-0a66-4453-a844-d3b80d727b27

Co-authored-by: iaretechnician <2749183+iaretechnician@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2026-05-04 17:31:16 +00:00 committed by GitHub
parent 53e0b68f4f
commit 7377f955fd
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
796 changed files with 38947 additions and 43914 deletions

View file

@ -22,22 +22,22 @@
*
*/
define('OGP_LANG_dashboard_ftp_text', "Il client FTP può comprimere i file e mandarli tramite email, può anche decomprimere, modificare documenti di testo e molto altro.");
define('OGP_LANG_dashboard_addons_manager_text', "Manage all different types of services with OGP. Choose from over 115 servers, which supplied directly by OGP.");
define('OGP_LANG_dashboard_game_monitor_text', "Quarda e monitora i log e il traffico di rete velocemente. Puoi vedere quali server sono attivi e quali no.");
define('OGP_LANG_dashboard_support_text', "Ricevi supporto dal Team Professionale di OGP sul forum. Risposte rapide ed alta attenzione");
define('OGP_LANG_welcome_text', "Benvenuto in Open Game Panel (OGP). OGP è un software open-source che ti permette di installare, avviare e monitare diversi tipo di server di gioco.");
define('OGP_LANG_any_server_is_online', "Any server is Online");
define('OGP_LANG_current_map', "Mappa attuale");
define('OGP_LANG_server_ip_port', "IP:Porta");
define('OGP_LANG_statistics', "Statistiche");
define('OGP_LANG_servers', "Servers");
define('OGP_LANG_players', "Giocatori");
define('OGP_LANG_server_status', "Stato del server");
define('OGP_LANG_no_games_to_monitor', "Non ci sono attualmente server di gioco online/offline");
define('OGP_LANG_online_servers', "Server online");
define('OGP_LANG_add_games_in', "Se vuoi aggiungere dei giochi puoi farlo in %s");
define('OGP_LANG_currently_online', "Attualmente online");
define('OGP_LANG_game_servers', "Server di gioco");
define('OGP_LANG_select_remote_server', "Select Remote Server");
define('LANG_dashboard_ftp_text', "Il client FTP può comprimere i file e mandarli tramite email, può anche decomprimere, modificare documenti di testo e molto altro.");
define('LANG_dashboard_addons_manager_text', "Manage all different types of services with OGP. Choose from over 115 servers, which supplied directly by OGP.");
define('LANG_dashboard_game_monitor_text', "Quarda e monitora i log e il traffico di rete velocemente. Puoi vedere quali server sono attivi e quali no.");
define('LANG_dashboard_support_text', "Ricevi supporto dal Team Professionale di OGP sul forum. Risposte rapide ed alta attenzione");
define('LANG_welcome_text', "Benvenuto in Open Game Panel (OGP). OGP è un software open-source che ti permette di installare, avviare e monitare diversi tipo di server di gioco.");
define('LANG_any_server_is_online', "Any server is Online");
define('LANG_current_map', "Mappa attuale");
define('LANG_server_ip_port', "IP:Porta");
define('LANG_statistics', "Statistiche");
define('LANG_servers', "Servers");
define('LANG_players', "Giocatori");
define('LANG_server_status', "Stato del server");
define('LANG_no_games_to_monitor', "Non ci sono attualmente server di gioco online/offline");
define('LANG_online_servers', "Server online");
define('LANG_add_games_in', "Se vuoi aggiungere dei giochi puoi farlo in %s");
define('LANG_currently_online', "Attualmente online");
define('LANG_game_servers', "Server di gioco");
define('LANG_select_remote_server', "Select Remote Server");
?>