Merge branch 'getPageCatsID' into 'master'

Get page cats

See merge request !111
11 jobs for master in 52 seconds (queued for 1 second)
Status Job ID Name Coverage
  Lint
failed #18077
lint:lint-php5.4

00:00:52

passed #18078
lint:lint-php5.6

00:00:20

passed #18079
lint:lint-php7.0

00:00:18

passed #18080
lint:lint-php7.1

00:00:21

passed #18081
lint:lint-php7.2

00:00:25

 
  Codesniffer
skipped #18082
allowed to fail
codesniffer
 
  Unit
skipped #18083
unit:testBasic
skipped #18086
unit:testPageProperty
skipped #18084
unit:testRead
skipped #18085
unit:testReadAssertFail
skipped #18087
unit:testUserProperty
 
Name Stage Failure
failed
lint:lint-php5.4 Lint
Checking out 25bf5973 as master...

Skipping Git submodules setup
$ bash ci/docker_install-lint.sh > /dev/null
+ apt-get update -yqq
W: Failed to fetch http://httpredir.debian.org/debian/dists/jessie-updates/InRelease Unable to find expected entry 'main/binary-amd64/Packages' in Release file (Wrong sources.list entry or malformed file)

E: Some index files failed to download. They have been ignored, or old ones used instead.
ERROR: Job failed: exit code 1