Unable enable plugin Vanilla 2.5 with PHP 7.1

[gamunu]

Cannot declare class Widgets, because the name is already in use in plugins/SphinxSearch/widgets/class.widgets.php on line 3

https://github.com/bauerjj/SphinxSearchPlugin/blob/e741c2ce37616f1e823d5420a0ce9550b6d6d4a4/class.sphinxsearch.plugin.php#L105

https://github.com/bauerjj/SphinxSearchPlugin/blob/e741c2ce37616f1e823d5420a0ce9550b6d6d4a4/class.sphinxsearch.plugin.php#L116

https://github.com/bauerjj/SphinxSearchPlugin/blob/e741c2ce37616f1e823d5420a0ce9550b6d6d4a4/class.sphinxsearch.plugin.php#L127

[bauerjj]

It has been a while, but I believe this is saying that the abstract class, widgets is trying to be instantiated more than once. The lines of 116 and 127 should prevent the abstract class from being instantiated. I'm not sure why this is showing up now in Vanilla 2.5 and not before though.

[eythian]

Adding my +1 too, this is happening to me in Vanilla 2.5.1 w/ PHP 7.0.27

[yhdleung]

Used include_once instead of include, then it worked.

[bauerjj]

@yhdleung can you fork and then put in those edits and issue a pull request? I'm going to test this plugin with the latest.

[yhdleung]

@bauerjj yes, created the pull request #27 .