覚え書-#33。

　最近やった主なこと。

1. ML-21 (石油ストーブ) の修理。
2. MariaDB 10.2.11 への更新。
3. 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 だった。
4. サイトの子テーマを作り直した。 <meta name="theme-color" content="#rrggbb"> をスマホサイトの方で使いたかったので。テヘヘ。

   子テーマに関して、 codex にちょっとした変更が書かれていた。前には、 @import が使われていたのだが、今はこの方法ではなく、 function.php を子テーマのフォルダに作るやり方に変わっている。