зеркало из https://github.com/mozilla/pjs.git
16 строки
454 B
Plaintext
16 строки
454 B
Plaintext
interface Location {
|
|
/* IID: { 0xa6cf906d, 0x15b3, 0x11d2, \
|
|
{ 0x93, 0x2e, 0x00, 0x80, 0x5f, 0x8a, 0xdd, 0x32 } } */
|
|
|
|
attribute wstring hash;
|
|
attribute wstring host;
|
|
attribute wstring hostname;
|
|
attribute wstring href;
|
|
attribute wstring pathname;
|
|
attribute wstring port;
|
|
attribute wstring protocol;
|
|
attribute wstring search;
|
|
|
|
void reload(/* ... */);
|
|
void replace(in wstring url);
|
|
}; |