diff --git a/util/extract.php b/util/extract.php index 13151bc96..3b708f3f7 100644 --- a/util/extract.php +++ b/util/extract.php @@ -33,7 +33,7 @@ } - $s = '