diff --git a/src/infrastructure/internationalization/management/PhabricatorInternationalizationManagementExtractWorkflow.php b/src/infrastructure/internationalization/management/PhabricatorInternationalizationManagementExtractWorkflow.php
index 14e78c4334..3554a113ed 100644
--- a/src/infrastructure/internationalization/management/PhabricatorInternationalizationManagementExtractWorkflow.php
+++ b/src/infrastructure/internationalization/management/PhabricatorInternationalizationManagementExtractWorkflow.php
@@ -82,7 +82,7 @@ final class PhabricatorInternationalizationManagementExtractWorkflow
 
     $out = array();
     $out[] = '<?php';
-    $out[] = '// @nolint';
+    $out[] = '// @no'.'lint';
     $out[] = 'return array(';
     foreach ($results as $string => $locations) {
       foreach ($locations as $location) {