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;
```

-- 
PHP Webmaster List Mailing List (http://www.php.net/)
To unsubscribe, visit: http://www.php.net/unsub.php

Reply via email to