moved grease.wxphp to grease.php so we can get some source highlighting by default