some core tinyphp updates