diff --git a/webtools/update/extensions/index.php b/webtools/update/extensions/index.php index c33d9b6d6608..3f6c3f0aa0fb 100644 --- a/webtools/update/extensions/index.php +++ b/webtools/update/extensions/index.php @@ -57,7 +57,13 @@ include"$page_header";

Extensions

-

Extensions are small add-ons that add new functionality to . They can add anything from a toolbar button to a completely new feature. They allow the browser to be customized to fit the personal needs of each user if they need additional features, while keeping small to download .

+ +

Extensions are small add-ons that add new functionality to +. They can add anything from a toolbar +button to a completely new feature. They allow the application to be customized +to fit the personal needs of each user if they need additional features, while keeping small to download .

- \ No newline at end of file +