OLD | NEW |
1 <div id="pageData-name" class="pageData">Other Deployment Options</div> | 1 <h1>Other Deployment Options</h1> |
2 <div id="pageData-showTOC" class="pageData">true</div> | 2 |
3 | 3 |
4 <p> | 4 <p> |
5 Usually, users install their own extensions. | 5 Usually, users install their own extensions. |
6 But sometimes you might want an extension | 6 But sometimes you might want an extension |
7 to be installed automatically. | 7 to be installed automatically. |
8 Here are two typical cases: | 8 Here are two typical cases: |
9 </p> | 9 </p> |
10 | 10 |
11 <ul> | 11 <ul> |
12 <li> | 12 <li> |
(...skipping 291 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
304 external extension is blacklisted. </p> | 304 external extension is blacklisted. </p> |
305 | 305 |
306 <br> | 306 <br> |
307 | 307 |
308 <p><b>How do I get off the blacklist?</b> </p> | 308 <p><b>How do I get off the blacklist?</b> </p> |
309 <p>If the user uninstalls your extension, you should respect that | 309 <p>If the user uninstalls your extension, you should respect that |
310 decision. However, if you (the developer) accidentally uninstalled | 310 decision. However, if you (the developer) accidentally uninstalled |
311 your extension through the UI, | 311 your extension through the UI, |
312 you can remove the blacklist tag | 312 you can remove the blacklist tag |
313 by installing the extension normally | 313 by installing the extension normally |
314 through the UI, and then uninstalling it. </p> | 314 through the UI, and then uninstalling it. </p> |
OLD | NEW |