PHPと主にスプーンを使用しています...
これが私のスキンを決定するものです:
if ( preg_match("/(mobile|webos|opera mini)/i",$_SERVER['HTTP_USER_AGENT'])
) {
$wgDefaultSkin = 'wptouch';
} else {
$wgDefaultSkin = 'vector';
}
モバイルの場合はモバイル スキンを取得し、そうでない場合は標準のスキンを取得します。これは LocalSettings.php (構成) ファイルで宣言されているため、jQuery ソリューションは機能しないように見えますが、提案は受け付けています。
ここでの最善の解決策は、ページを更新し、その変数定義を何らかの方法で変更する PHP 関数を起動するボタンまたはリンクだと思います。