【PHP】 PHP と jQuery mobile の環境でリダイレクト

リダイレクトするには php で （何かを出力する前に）、

|  header("Location: url" );

と書いておけばよいのだが、一つ大きな問題がある。ブラウザが覚えているアドレスがリダイレクト先の url に変ってくれないので、みっともない上に F5 を押してページをリロードするともともページに戻ってしまう。
ブラウザに正しいアドレスを知らせるには url を相対アドレスではなく http:// から始まる絶対アドレスで指定すればよい、とものの本には書いてあるが、jQuery mobile が悪さをしているのか、残念ながら効果がない。
解消法を、やっと見つけた（たいへんうれしい）。「data-role="page"」の指定に例えば、

|  ＜section id="xxxx" data-role="page" data-theme="d"
|        data-url="＜?php echo $_SERVER["SCRIPT_NAME"]?＞"＞

と、data-url に自分のアドレスを指定してやればよい。