} else {
$oldInstance->destroy();
}
-
}
/**
self::resetGlobalInstance();
// Child, reseed because there is no bug in PHP:
- // http://bugs.php.net/bug.php?id=42465
+ // https://bugs.php.net/bug.php?id=42465
mt_srand( getmypid() );
}
}
/**
- * @since 1.28
+ * @since 1.29
* @return Parser
*/
public function getParser() {