Merge "Allow AUTHOR|CREDITS with .{media,}wiki extension"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Fri, 6 Nov 2015 23:05:07 +0000 (23:05 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Fri, 6 Nov 2015 23:05:07 +0000 (23:05 +0000)
commitb9b157dc4bbfd92518a3a707d051df0572cd687c
treeb62be14d8cd934faa855dbf920795252673ffb0c
parentd1fe18385587b2c910973b6f9ea2fb1a993b5e34
parent925345541f17c273b77fdc218221449df649582a
Merge "Allow AUTHOR|CREDITS with .{media,}wiki extension"