polish: remove unused eslint-disable (#5560)

* fix eslint

* Add report unused disable to CI

* Fix two anys
This commit is contained in:
Joshua Chen 2021-09-22 00:07:54 +08:00 committed by GitHub
parent 911d6b1087
commit a839966cd2
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
22 changed files with 9 additions and 38 deletions

View file

@ -5,7 +5,6 @@
* LICENSE file in the root directory of this source tree.
*/
/* eslint-disable spaced-comment */
/// <reference types="@docusaurus/module-type-aliases" />
/// <reference types="@docusaurus/plugin-content-blog" />
/// <reference types="@docusaurus/plugin-content-docs" />

View file

@ -7,7 +7,7 @@
import {translate} from '@docusaurus/Translate';
export const translateTagsPageTitle = () =>
export const translateTagsPageTitle = (): string =>
translate({
id: 'theme.tags.tagsPageTitle',
message: 'Tags',