require_once 'HTML/Menu.php';
void HTML_Menu::forceCurrentUrl (string $url)
void HTML_Menu::forceCurrentUrl
Use this if you do not want to extract current URL from some environment variable (e.g. $_SERVER['PHP_SELF']) but rather use some custom logic to determine it.
Url to use
throws no exceptions thrown
see HTML_Menu::setURLEnvVar(), HTML_Menu::getCurrentUrl()
This function can not be called statically.