Manual:IEUrlExtension.php