Mainly typo fixes

For the deployment on 2019-03-20

Minor fixes

Mainly discovered during construction of publicwhip 2.

Tagging 1.13 for reference

Merge pull request #22 from dracos/recent-popolo-script

Add JSON output of recently edited divisions.

Remove unneeded files

Merge pull request #21 from publicwhip/v1.12

Remove more uneeded files

Small tweaks missed during PHP7 deployment

Merge pull request #19 from publicwhip/v1.11

Updated tweaks

PHP7 compatible version

1.1

PHP7 version from July 2018. Move code back to Github

PublicWhip up to July 2018

Last PHP5.2 compatible release. Not compatible with PHP7.

Pre-2011

Source code of Public Whip which ran from inception to sometime in 2011.