What plugin is this?

The page source of that site says https://lesterchan.net/portfolio/programming/php/#wp-postratings

Thanks for figuring that out for me. ?? Only trouble is I tried that plugin and it isn’t working for me and many others with the current version of WordPress.