PHPMapScriptのsetFilterのバグ

MapServerを4.10.0にアップグレードしてハマったバグ

NG：$layerObj->setFilter( "mod(oid::integer,10)=0" );　←くくらない
NG：$layerObj->setFilter( "'mod(oid::integer,10)=0'" );　←シングルクォーテーションでくくる
OK：$layerObj->setFilter( '"mod(oid::integer,10)=0"' );　←ダブルクォーテーションでくくる

http://lists.umn.edu/cgi-bin/wa?A2=ind0611&L=mapserver-users&T=0&F=&S=&P=30179

CVSでは直っている模様
http://mapserver.gis.umn.edu/bugs/show_bug.cgi?id=1948