DokuWiki 改用 PHP 7 執行

^20190419 前陣子在找怎樣讓 PHP 網頁應用程式執行得更快時，看到有人說改用 PHP 7 會快一些。但又怕 DokuWiki 改用 PHP 7 runtime 的話會有錯誤。（主要是去年升級 Greebo 時有嘗試改用 PHP 7，結果還是跑出很多錯誤訊息，當時以為是 PHP 7 造成的，所以就不敢再用 PHP 7。今年才知道，是資料夾及檔案權限有誤啊～不能怪 PHP 7）

剛才在 MAMP 設定中切換到 PHP 7.2.1 了 → 重新啟動 Apache 伺服器
1. 瀏覽器裡執行起來沒什麼不同的樣子，而且載入頁面速度似乎真的變快了
2. 但 errorlog.txt 裡錯誤訊息就跑出來了⁴²⁾……好幾個 plugin 的語法宣告與 Greebo 的 DokuWiki_Syntax_Plugin 不相容的樣子。算了，先去 /dw/conf/local.php 中，把產生 log 的那兩行註解掉吧，眼不見為淨，DW 可以動就好了，先用一陣子看看
3. 而且時區又是錯的
  → 改 /Applications/MAMP/bin/php/php7.2.1/conf/php.ini 裡的 date.timezone = "Asia/Taipei"，然後記得要重新啟動伺服器，時區就恢復正常惹
NAS
1. 也裝 PHP 7.2
2. 卻發現 Web Station 沒有 7.2 的預設 profile…… → 先回報技術問題並手動自製 7.2 profile（抖）
3. 再來 Web Station「一般設定」預設 PHP 用 7.2 profile
4. ~~再來把一些 virtual host 的 PHP profile 都改為「不設定」，去吃 7.2~~ ← 不能這樣，一定要設 7.2
  那這樣只要換個 PHP 版本，豈不每個 virtual host 都要設定一次？！
5. 將 ciangbrides.ml 設為用 7.2
  → SQLite & PDO SQLite support missing in this PHP install - plugin will not work
  1. Web Station 7.2 profile「擴充模組」勾選 sqlite3、pdo_sqlite
    → 還是有 PHP's gd library is missing or unable to create PNG images
  2. 再勾選 gd 擴充模組，總算大致都好了？
  3. PHP 7.2 執行 DW 似乎真的變快了，感覺呈現頁面的時間縮短很多，幾乎一瞬間就可以顯示很大的篇幅