[10:08:41] <wikibugs>	 (03CR) 10Thiemo Kreuz (WMDE): [C: 04-1] "It looks like the libs/ folder now contains .js, .php, as well as .lua files. The same time it does not look like these files are strictly" (031 comment) [extensions/Cargo] - 10https://gerrit.wikimedia.org/r/560091 (owner: 10Zoranzoki21)