SOURCE_URL=https://releases.wikimedia.org/mediawiki/1.39/mediawiki-1.39.0.tar.gz
SOURCE_SUM=5ffe7815e00ecf9190d1c401b0185588e8e73c27688ee32697a6cfceb17a9388
SOURCE_SUM_PRG=sha256sum
SOURCE_FORMAT=tar.gz
SOURCE_IN_SUBDIR=true
SOURCE_EXTRACT=true