diff options
| author | Pierre Schmitz <pierre@archlinux.de> | 2014-12-27 15:41:37 +0100 |
|---|---|---|
| committer | Pierre Schmitz <pierre@archlinux.de> | 2014-12-31 11:43:28 +0100 |
| commit | c1f9b1f7b1b77776192048005dcc66dcf3df2bfb (patch) | |
| tree | 2b38796e738dd74cb42ecd9bfd151803108386bc /opensearch_desc.php5 | |
| parent | b88ab0086858470dd1f644e64cb4e4f62bb2be9b (diff) | |
Update to MediaWiki 1.24.1
Diffstat (limited to 'opensearch_desc.php5')
| -rw-r--r-- | opensearch_desc.php5 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/opensearch_desc.php5 b/opensearch_desc.php5 index 0c499a4d..a4dde371 100644 --- a/opensearch_desc.php5 +++ b/opensearch_desc.php5 @@ -1,7 +1,7 @@ <?php /** - * Version of opensearch_desc.php to used in web server requiring .php5 extension - * to execute scripts with PHP5 engine. + * Version of opensearch_desc.php to be used in web servers that require the .php5 + * extension to execute scripts with the PHP5 engine. * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License as published by |