Some Of Twitter’s Source Code Was Leaked Online, Court Filing Shows