pull i18n

#!/usr/local/bin/python3

import http.client
import json
import os

files = os.listdir('languages/messages')
sock = http.client.HTTPSConnection('raw.githubusercontent.com')

for filename in files:
        lang = filename[len('Messages'):-len('.php')].lower()
        if lang == 'qqq': continue

        sock.request(
                'GET',
                '/wikimedia/mediawiki-core/master/languages/i18n/' + lang + '.json',
                '',
                {'Connection': 'Keep alive'}
        )
        response = sock.getresponse()
        body = response.read().decode('utf-8')
        if response.status == 404:
                print(lang + ': no upstream file')
                continue
        message = json.loads(body)
        if 'unblocked-ip' not in message:
                print(lang + ': no upstream message')
                continue
        message = message['unblocked-ip']
        print(lang + ': ' + message)

        with open('languages/messages/' + filename, 'r') as f: text = f.read()
        text = text[0:text.find('\n', text.find('\'unblocked-id\''))] + '\n\'unblocked-ip\'                    => \'' + message + '\',' + text[text.find('\n', text.find('\'unblocked-id\'')):]
        with open('languages/messages/' + filename, 'w') as f: f.write(text)

sock.close()