| Index: chrome/common/extensions/docs/proxy.html
|
| diff --git a/chrome/common/extensions/docs/proxy.html b/chrome/common/extensions/docs/proxy.html
|
| index 76355424a5b356d10464e1879eb12f90a537367a..ace74c0b49f99365b777625c981ecbb0ac817a7b 100644
|
| --- a/chrome/common/extensions/docs/proxy.html
|
| +++ b/chrome/common/extensions/docs/proxy.html
|
| @@ -514,7 +514,7 @@ chrome.proxy.settings.set(
|
| </pre>
|
|
|
| <p>
|
| -The following code sets a custom PAC script.
|
| +The following code sets a custom pac script.
|
| </p>
|
|
|
| <pre>var config = {
|
| @@ -534,7 +534,7 @@ chrome.proxy.settings.set(
|
|
|
| <p>
|
| The next snippet queries the currently effective proxy settings. The effective
|
| -proxy settings can be determined by another extension or by a policy. See the <a href="preferences.html">Preferences API</a> documentation for details.
|
| +proxy settings can be determined by another extension or by a policy, see the <a href="preferences.html">Preferences API</a> documentation.
|
| </p>
|
|
|
| <pre>chrome.proxy.settings.getEffective(
|
|
|