Page MenuHomePhabricator
Paste P7131

dupe_settings.py
ActivePublic

Authored by Legoktm on May 15 2018, 5:48 PM.
Tags
None
Referenced Files
F18282673: dupe_settings.py
May 15 2018, 5:48 PM
Subscribers
None
#!/usr/bin/env python3
from collections import defaultdict
import glob
import json
E = '/home/km/gerrit/mediawiki/core/extensions'
g = sorted(glob.glob(E + '/*/extension.json'))
data = defaultdict(set)
def check(key, new):
for n, s in data.items():
if key in s:
print('ERROR:%s: %s already set by %s' % (new, key, n))
for fname in g:
#print(fname)
with open(fname) as f:
j = json.load(f)
if 'config' in j:
name = j['name']
for k, v in j['config'].items():
if k.startswith('@') or k == '_prefix':
continue
check(k, name)
data[name].add(k)