Non riuscivo a recuperare il valore della variabile lingua in $_GET['lang'], $lang o $_REQUEST['lang'].
Non ho pensato a indicare nel post che in Wordpress utilizzo il plugin QTRANSLATE per la gestione delle lingue. Ho cercato allora in questa direzione, e ho trovato - con la ricerca "qtranslate variables" una soluzione.
la chiave è: $lingua = qtrans_getLanguage();
il codice è elementare: (semplificato)
$lingua = qtrans_getLanguage();
if ($lingua=="en") { BANNER IN INGLESE }
else { BANNER IN ITALIANO }
Ora funziona tutto.