Fix textdomain in PHP error.