- $doclink is not used anymore as we dont use the value after echo the link
- $VARIABLE_DOC_LINKS is first check isset() because it might not be stored in our ./libraries/server_variables_doc.php
if any new variables are introduced in new version of MySQL it must be added to server_variable_doc.php to display the link
