Merge remote-tracking branch 'origin/diff_navigation' into revisions

.gitattributes

.gitignore

.travis.yml

README

_test/core/TestRequest.php

_test/tests/general/general_languagelint.php

_test/tests/inc/changelog_getRevisionsAround.test.php

_test/tests/inc/common_basicinfo.test.php

_test/tests/inc/common_mediainfo.test.php

_test/tests/inc/common_pageinfo.test.php

_test/tests/inc/httpclient_http.test.php

_test/tests/inc/httpclient_http_proxy.test.php

_test/tests/inc/httpclient_https_proxy.test.php

_test/tests/inc/httpclient_mock.php

_test/tests/inc/indexer_indexing.test.php

_test/tests/inc/io_rmdir.test.php

_test/tests/inc/mailer.test.php

_test/tests/inc/parser/parser_table.test.php

_test/tests/test/basic.test.php

bin/gittool.php