[web-php] PR #561: Fix: Remove unused private property
| From: | localheinz | Date: | Mon, 27 Jun 2022 18:14:09 +0000 |
| Subject: | [web-php] PR #561: Fix: Remove unused private property | ||
| Groups: | php.webmaster | ||
| Request: | Send a blank email to php-webmaster+get-30118@lists.php.net to get a copy of this message | ||
Pull Request: https://github.com/php/web-php/pull/561
Author: localheinz
This pull request
- [x] removes an unused
private property
💁♂️ Running
```shell
git grep -i ratingFactor
```
on current master yields
```
include/shared-manual.inc:34: private $ratingFactor;
```