在php7.3中，我做了如下操作。$TitelString=$_GET["TitelString"]；If(!$TitelString)$TitelString=""；$AuteurString=$_GET["AuteurString"]；If(!$AuteurString)$AuteurString=""；$JaarString=$_GET["JaarS