diff options
| author | 2022-01-08 21:58:55 +0100 | |
|---|---|---|
| committer | 2022-01-08 21:58:55 +0100 | |
| commit | 1acd3ab09be1b65bfd6122ee351490c3b5527bb8 (patch) | |
| tree | f11de558e7a09522a45d1c155d9707ecda6bf1eb /p/api/greader.php | |
| parent | 916df412f5b6f7fb9bcfb705a3c8c23e35304410 (diff) | |
Use typographic quotes (#4133)
* Use typographic quotes
* A few fixes
* Fix
* Fix not saved
* Implement feedback
* Detail
* Revert spoken English fixes
Left for a future dedicated discussion
* More reverts
* Final reverts
* Final minor
Diffstat (limited to 'p/api/greader.php')
| -rw-r--r-- | p/api/greader.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/p/api/greader.php b/p/api/greader.php index 1d7b1595b..7c4aba9ea 100644 --- a/p/api/greader.php +++ b/p/api/greader.php @@ -1120,7 +1120,7 @@ if ($pathInfos[1] === 'accounts') { //StreamId to operate on. The parameter may be repeated to edit multiple subscriptions at once $streamNames = empty($_POST['s']) && isset($_GET['s']) ? array($_GET['s']) : multiplePosts('s'); /* Title to use for the subscription. For the `subscribe` action, - * if not specified then the feed's current title will be used. Can + * if not specified then the feed’s current title will be used. Can * be used with the `edit` action to rename a subscription */ $titles = empty($_POST['t']) && isset($_GET['t']) ? array($_GET['t']) : multiplePosts('t'); $action = $_REQUEST['ac']; //Action to perform on the given StreamId. Possible values are `subscribe`, `unsubscribe` and `edit` |
