summaryrefslogtreecommitdiff
path: root/opensearch_desc.php5
diff options
context:
space:
mode:
authorPierre Schmitz <pierre@archlinux.de>2014-12-27 15:41:37 +0100
committerPierre Schmitz <pierre@archlinux.de>2014-12-31 11:43:28 +0100
commitc1f9b1f7b1b77776192048005dcc66dcf3df2bfb (patch)
tree2b38796e738dd74cb42ecd9bfd151803108386bc /opensearch_desc.php5
parentb88ab0086858470dd1f644e64cb4e4f62bb2be9b (diff)
Update to MediaWiki 1.24.1
Diffstat (limited to 'opensearch_desc.php5')
-rw-r--r--opensearch_desc.php54
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