PukiWikiのレスポンシブスキン「sr」を更新し、PukiWiki 1.5.2に対応しました。
PukiWiki 1.5.2は2019年3月1日に公開されたPukiWikiの最新版で、PHP7.3で動かすこともできます。変更点としてpukiwiki.css.phpがpukiwiki.cssに置き換えられるなど、srスキンに影響する変更も含まれているため、それに対応しました。
srスキンの実際の使い勝手は実際にPukiWiki 1.5.2で運用中のこちらで確認することができます。1.5.2は検索結果にマッチした部分の詳細が表示されるようになるなどなかなか便利になっています。PukiWikiメンテナの方々に感謝です。