This is the current revision of this page, as edited by Some helpful person(talk | contribs) at 01:49, 17 July 2025(Created a redirect to web development tools; "developer tools" is a name commonly used in reference to web development tools by both major web browsers as well as the article on web development tools.). The present address (URL) is a permanent link to this version.Revision as of 01:49, 17 July 2025 by Some helpful person(talk | contribs)(Created a redirect to web development tools; "developer tools" is a name commonly used in reference to web development tools by both major web browsers as well as the article on web development tools.)
This page is a redirect. The following categories are used to track and monitor this redirect:
From a colloquial name: This is a redirect from a colloquial name – either an unofficial name that is more commonly used than the official name, or a title that is unsuitable as a Wikipedia article title or other project page name – that serves readers because it is a good search term. The official name is given by the target of the redirect. Note that if the target page is named using WP:COMMONNAME, then this template should not be here.
Pages that use this link should be updated to link directly to the target without the use of a piped link that hides the official name.
When appropriate, protection levels are automatically sensed, described and categorized.
