issetの方が、<>""より良さそう。

if($index<>"")といった判定式を、ある本から学んで使っていましたが、
if(isset($index))にしないと処理がおかしいときがありました。

これからは、issetを使うことにしよう、というメモです。