version-specific pages through a couple of magic PHP queries, which can identify the PHP version even when a server doesn't advertise it.