Redirects PostgreSQL docs links to the current version (except when coming from the docs, or to deprecated features).
pg_docs_bot Extension
pg_docs_bot helps you avoid the annoyance of having to click \"Current\" when you get there, the frustration of having read the whole page before realising it was an old version, or even not realising that it was an out of date version.
Features:
* Redirects links to the \"current\" version
* After redirecting, displays a notice (including a link to the page you were redirected from)
* Avoids redirecting some deprecated features (to avoid 404s)
* Doesn't redirect when coming from another page in the docs, so you can still check old versions (the main problem with generic redirectors)
Limitations:
* Only supports redirecting to \"current\"
* Works for the English language docs
* Works for version 7.0 links upwards
* Chrome extension works on a limited list of search engines and stack exchange sites (to avoid needing
Source Manifest.json
Similar Extensions
Forks Diff Counter for GitHub 33 2 ★ 12.4KiB
Github JSON Editor 33 0 ★ 517KiB
Git Kanban Enhanced Self Hosted 33 1 ★ 191KiB
GitHub Search Extension 33 1 ★ 722KiB
GitHub inline code color editor 33 1 ★ 19.59KiB
Status of Github 33 1 ★ 103KiB
GitLab Web Debugger 33 0 ★ 51.38KiB
Postgres Docs Redirect 33 2 ★ 23.15KiB
GitHub PR images comparer 33 1 ★ 13.65KiB
Offline CodeIgniter 33 1 ★ 2.2MiB
Full Width Github 33 2 ★ 316KiB
QuickGitbook for Github 33 1 ★ 12.18KiB
Github Stars 33 2 ★ 19.28KiB
GitHub: Better Line Counts 33 4 ★ 123KiB
github magic! 33 2 ★ 42.05KiB
JiGit - Jira issue title to branch name 33 2 ★ 19.97KiB
Gitlab Swagger Utilities 33 6 ★ 331KiB
Odoo attendance 33 0 ★ 56.66KiB
Repositree 33 8 ★ 314KiB
Github Swagger UI Plugin 33 2 ★ 395KiB
LogoSwap: Twitter X Logo Changer 33 8 ★ 90.88KiB
Notifications Preview for GitHub 33 6 ★ 40.9KiB
Sheets Genie 33 8 ★ 77.44KiB
AWS Console Fixes 33 3 ★ 264KiB
User reviews
Eric Tenza (ID: 000000188b3e08d0) Voted 5 ★ - Updated 01/22/2021