最近やった主なこと。
- ML-21 (石油ストーブ) の修理。
- MariaDB 10.2.11 への更新。
- PHP 7.2.0 がリリースされた。おっめでとうございまーす!!
ということで、 PHP 7.2.0 に更新。
ところで、 php.ini において extension のロードに関する syntax が変更されていた。前バージョンまでは、extension=<ext>.soかextension='php_<ext>.dllだったのが、extension=modulenameになった。 OPcache についてはzend_extension=opcacheで OK だった。 - サイトの子テーマを作り直した。
<meta name="theme-color" content="#rrggbb">をスマホサイトの方で使いたかったので。テヘヘ。
子テーマに関して、 codex にちょっとした変更が書かれていた。前には、
@importが使われていたのだが、今はこの方法ではなく、 function.php を子テーマのフォルダに作るやり方に変わっている。