[MediaWiki-commits] [Gerrit] use FileRepo api to delete and check for files - change (mediawiki/core[master])

Aaron Schulz has submitted this change and it was merged. Change subject: use FileRepo api to delete and check for files .. use FileRepo api to delete and check for files instead of direct file access use FileRepo api, this way

[MediaWiki-commits] [Gerrit] use FileRepo api to delete and check for files - change (mediawiki/core[master])

J has uploaded a new change for review. Change subject: use FileRepo api to delete and check for files .. use FileRepo api to delete and check for files instead of direct file access use FileRepo api, this way the script works f