Internet Explorer 10,11でテキスト検索結果の詳細表示を行うカスタマイズです。(umorigu 2017/10/21-)
(未リリースの PukiWiki 1.5.2 に対するカスタマイズです)
PukiWiki 1.5.2では、テキスト検索で詳細表示を行えますが、この機能はWebブラウザがFetch APIに対応していなければ利用できません。
IEはFetch APIが実装されていないので、通常詳細表示は行えません。
Polyfillライブラリを使い、IEでもテキスト詳細表示を有効にします。
但し、PolyfillでFetch APIが利用できるようになるのはIE10とIE11のみで、IE9以下は誤動作をしてしまいます。 このため、IE9以下ではPolyfillライブラリを読み込まないようにしました。
skin/pukiwiki.skin.php:70
<link rel="alternate" type="application/rss+xml" title="RSS" href="<?php echo $link['rss'] ?>" /><?php // RSS auto-discovery ?> +<!--[if !IE]><!--> +<script type="text/javascript" src="https://cdn.jsdelivr.net/npm/es6-promise@4/dist/es6-promise.auto.min.js"></script> +<script type="text/javascript" src="https://cdn.jsdelivr.net/gh/github/fetch@master/fetch.js"></script> +<!--<![endif]--> <script type="text/javascript" src="skin/main.js" defer></script> <script type="text/javascript" src="skin/search2.js" defer></script>
"+"で始まる行を追加します。