Merge branch 'master' into rename-repo-url

2026-09-09 11:13:57 +08:00 · 2016-03-17 21:06:54 +09:00
parent 56295f5058 89f1449d19
commit 7de6c3dd94
1140 changed files with 179704 additions and 179635 deletions
@@ -39,7 +39,7 @@ interface Mixpanel
    get_property(propertyName:string):any;
 }

-declare module Mixpanel
+declare namespace Mixpanel
 {
    interface People
    {