diff options
| author |  Florent <cheap.glitch@gmail.com>
| 2021-07-18 18:05:57 +0200 |
|---|---|---|
| committer |  GitHub <noreply@github.com>
| 2021-07-18 23:05:57 +0700 |
| commit | ac1293a44880c83e3177729719029e26defb4e3e (patch) | |
| tree | 21fc35a83c41b6a9ae8d80f0bd18791b75d1e439 /source/globals.d.ts | |
| parent | 31a04dd8b43d4fe121bf5a467dbc0cdada568756 (diff) | |
| download | refined-github-21.7.18.tar.gz refined-github-21.7.18.tar.zst refined-github-21.7.18.zip | |
Fix: Features are not being applied on page change (#4571)21.7.18
Diffstat (limited to 'source/globals.d.ts')
| -rw-r--r-- | source/globals.d.ts | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/source/globals.d.ts b/source/globals.d.ts index ac8fcde4..19619603 100644 --- a/source/globals.d.ts +++ b/source/globals.d.ts @@ -41,6 +41,7 @@ declare namespace JSX { 'details-dialog': IntrinsicElements.div & {tabindex: string}; 'details-menu': IntrinsicElements.div & {src?: string; preload?: boolean}; 'has-rgh': IntrinsicElements.div; + 'has-rgh-inner': IntrinsicElements.div; 'include-fragment': IntrinsicElements.div & {src?: string}; 'label': IntrinsicElements.label & {for?: string}; 'relative-time': IntrinsicElements.div & {datetime: string}; |