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