| Index: chrome/common/extensions/docs/options.html
|
| diff --git a/chrome/common/extensions/docs/options.html b/chrome/common/extensions/docs/options.html
|
| index 2b87127a8dd61a90a01d5260debaeef9cfed852d..a513a3a6ebc66b0241600e2db619132d5f420392 100644
|
| --- a/chrome/common/extensions/docs/options.html
|
| +++ b/chrome/common/extensions/docs/options.html
|
| @@ -472,7 +472,7 @@ Favorite Color:
|
|
|
| <!-- TYPES -->
|
| <div class="apiGroup">
|
| - <a name="types.sort(sortByName)"></a>
|
| + <a name="types"></a>
|
| <h3 id="types">Types</h3>
|
|
|
| <!-- iterates over all types -->
|
|
|