Skip to content

(1.43) Set $wgLocalFileRepo earlier (before RepoGroup is initialized) #202

(1.43) Set $wgLocalFileRepo earlier (before RepoGroup is initialized)

(1.43) Set $wgLocalFileRepo earlier (before RepoGroup is initialized) #202

phan

succeeded Nov 17, 2024 in 55s
Set up job
1s
Run actions/checkout@v4
0s
Run shivammathur/setup-php@v2
4s
Run actions/cache@v4
2s
Run edwardspec/github-action-build-mediawiki@v1
2s
Install dependencies
3s
RUN -- phan
42s
Post Run actions/cache@v4
0s
Post Run actions/checkout@v4
0s
Complete job
0s