search

maflcko / wiki-java-tools

Collection of tools for MediaWiki in Java
26 stars 21 forks source link

don't add int:filedesc #15

Closed Steinsplitter closed 7 years ago

Steinsplitter commented 7 years ago

don't add int:filedesc by default because some people don't want it

Steinsplitter commented 7 years ago

Not sure if https://github.com/MarcoFalke/wiki-java-tools/pull/15/commits/605c3bbeaaa7084adc91d7e2ad3e7c80d8f9097b#diff-db8ee250ae2b63133f6fa343ce402c88L224 still works then.

maflcko commented 7 years ago

It should work this way. Thanks!