MediaWiki:Push-tab-err-filepush/en

File push failed: $1