On 15/09/15 01:34, wp mirror wrote:
Idea. I am thinking of piping the *pages-articles.xml.bz2 dump file through an AWK script to write all unique [[File:*]] tags into a file. This can be done quickly. The question then is: Given a file with all the media tags, how can I generate all the thumbs. What mediawiki function shall I call? Can this be done using the web API? Any other ideas?
Sincerely Yours, Kent
You know it will fail for all kind of images included through templates (particularly infoboxes), right?