Got it. It seems like the PHP SQL Server driver is missing a way to get the connection status from your SQL Server. I will log this request with the engineering team.
Apologies for the inconvenience. As a temporary workaround, your recommendation of doing a simple query seems like the best method to go about this.
