Mnet: Drop deprecated interface to mnet_get_public_key function

diff --git a/mnet/lib.php b/mnet/lib.php
index d9e1c23a537d27ff9867e4c678eb4afc04dbd527..c5571a65b9af017ce86038300b935231b66a2a63 100644 (file)
--- a/mnet/lib.php
+++ b/mnet/lib.php
@@ -43,11 +43,9 @@ function mnet_get_hostname_from_uri($uri = null) {
  *
  * @param  string  $uri     The URI of a file on the remote computer, including
  *                          its http:// or https:// prefix
- * @param  bool    $verify  True if the SSL Cert must be signed by a trusted 3rd
- *                          party. [TODO! NOT IMPLEMENTED]
  * @return string           A PEM formatted SSL Certificate.
  */
-function mnet_get_public_key($uri, $verify=false) {
+function mnet_get_public_key($uri) {
     global $CFG;
     // The key may be cached in the mnet_set_public_key function...
     // check this first