[mythtv] Add patch for PHP 7.2 on MythBackend.php.