Using AutoHotKey and Ditto with PHP