Finish pinball extension for other PHP versions