Enhanced PingCAP Docs is a documentation extension for chrome. also, it is docs extension. it's a free extension and is featured in Productivity, it has 24 active users since released its first version, it earns an average rating of 0.00 from 0 rated user, last update is 884 days ago.
The goal of Enhanced PingCAP Docs is to help developers use documents more conveniently. Currently, this plugin has the following features: - Bookmarks support This allows you to bookmark the page for viewing later. - History support Record document browsing history, 5 records by default. - Lang switch Shortcut for switch between Chinese and English documents. Default: Alt+S
You could download the latest version crx file or older version files and install it.
English.
You could find more help information from enhanced pingcap docs support page.
You could send emails to publisher, or check publisher's website.
More about manifest_file of enhanced pingcap docs.
You could click to report abuse of enhanced pingcap docs.