git: 1fceef362033 - main - www/mediawiki140: New port, copied from www/mediawiki139

The branch main has been updated by wen:

URL: https://cgit.FreeBSD.org/ports/commit/?id=1fceef36203352ae45671a95df9cce3c260932c2

commit 1fceef36203352ae45671a95df9cce3c260932c2
Author:     Wen Heping <wen@FreeBSD.org>
AuthorDate: 2023-07-01 12:52:37 +0000
Commit:     Wen Heping <wen@FreeBSD.org>
CommitDate: 2023-07-01 12:52:37 +0000

    www/mediawiki140: New port, copied from www/mediawiki139
    
    MediaWiki is the collaborative editing software that runs Wikipedia,
    the free encyclopedia, and other projects.
    It's designed to handle a large number of users and pages without imposing
    too rigid a structure or workflow.
---
 www/Makefile                          |  1 +
 www/mediawiki140/Makefile             | 66 +++++++++++++++++++++++++++++++++++
 www/mediawiki140/distinfo             |  3 ++
 www/mediawiki140/files/pkg-message.in | 15 ++++++++
 www/mediawiki140/pkg-descr            |  4 +++
 5 files changed, 89 insertions(+)

diff --git a/www/Makefile b/www/Makefile
index fee4f2e01268..d791c771cbea 100644
--- a/www/Makefile
+++ b/www/Makefile
@@ -335,6 +335,7 @@
     SUBDIR += mediawiki135
     SUBDIR += mediawiki138
     SUBDIR += mediawiki139
+    SUBDIR += mediawiki140
     SUBDIR += mergelog
     SUBDIR += mhonarc
     SUBDIR += micro_httpd
diff --git a/www/mediawiki140/Makefile b/www/mediawiki140/Makefile
new file mode 100644
index 000000000000..d5d9f1f2186e
--- /dev/null
+++ b/www/mediawiki140/Makefile
@@ -0,0 +1,66 @@
+PORTNAME=	mediawiki
+PORTVERSION=	1.40.0
+CATEGORIES=	www
+MASTER_SITES=	https://releases.wikimedia.org/mediawiki/${PORTVERSION:R}/
+PKGNAMESUFFIX=	140${PHP_PKGNAMESUFFIX}
+
+MAINTAINER=	wen@FreeBSD.org
+COMMENT=	Wiki engine used by Wikipedia
+WWW=		https://www.mediawiki.org/
+
+LICENSE=	GPLv2
+
+CONFLICTS=	mediawiki13[5-9]
+
+USES=		cpe php:flavors shebangfix
+SHEBANG_FILES=	maintenance/dev/*.sh \
+		maintenance/storage/make-blobs
+SHEBANG_LANG=	hhvm
+hhvm_OLD_CMD=	/usr/bin/hhvm
+hhvm_CMD=	${LOCALBASE}/bin/hhvm # not installed by anything yet
+USE_PHP=	ctype dom fileinfo filter iconv intl mbstring \
+		readline session xml xmlreader zlib
+MEDIAWIKIDIR?=	www/mediawiki
+
+NO_BUILD=	yes
+PLIST=		${WRKDIR}/plist
+
+SUB_FILES=	pkg-message
+SUB_LIST=	MEDIAWIKIDIR=${PREFIX}/${MEDIAWIKIDIR}
+
+OPTIONS_DEFINE=	LDAP MEMCACHED IMAGICK SOCKETS
+OPTIONS_SINGLE=	DB
+OPTIONS_SINGLE_DB=	MYSQL PGSQL SQLITE
+OPTIONS_DEFAULT=	MYSQL SOCKETS
+
+MEMCACHED_DESC=	Use memcached
+IMAGICK_DESC=	Use ImageMagick
+SOCKETS_DESC=	Use sockets
+
+MYSQL_USES=	mysql
+MYSQL_USE=	php=mysqli
+PGSQL_USE=	php=pgsql
+SQLITE_USE=	php=sqlite3
+LDAP_USE=	php=ldap
+SOCKETS_USE=	php=sockets
+
+MEMCACHED_RUN_DEPENDS=	memcached:databases/memcached
+IMAGICK_RUN_DEPENDS=	${LOCALBASE}/lib/php/${PHP_EXT_DIR}/imagick.so:graphics/pecl-imagick@${PHP_FLAVOR}
+
+pre-install:
+	@${FIND} -s -d ${WRKSRC} -not -type d | ${SED} "s?${WRKSRC}?${MEDIAWIKIDIR}?g" >>${PLIST}
+	@${ECHO} "@dir %%WWWDIR%%/cache" >> ${PLIST}
+	@${ECHO_CMD} "@owner ${WWWOWN}" >> ${PLIST}
+	@${ECHO_CMD} "@group ${WWWGRP}" >> ${PLIST}
+	@${ECHO} "@mode 0755" >> ${PLIST}
+	@${ECHO} "@dir %%WWWDIR%%/images" >> ${PLIST}
+	@${ECHO} "@mode" >> ${PLIST}
+	@${ECHO_CMD} "@owner" >> ${PLIST}
+	@${ECHO_CMD} "@group" >> ${PLIST}
+	@${ECHO} @dir ${MEDIAWIKIDIR} >> ${PLIST}
+
+do-install:
+	@${MKDIR} ${STAGEDIR}${PREFIX}/${MEDIAWIKIDIR}
+	@cd ${WRKSRC} && ${COPYTREE_SHARE} . ${STAGEDIR}${PREFIX}/${MEDIAWIKIDIR}
+
+.include <bsd.port.mk>
diff --git a/www/mediawiki140/distinfo b/www/mediawiki140/distinfo
new file mode 100644
index 000000000000..218efd2ec230
--- /dev/null
+++ b/www/mediawiki140/distinfo
@@ -0,0 +1,3 @@
+TIMESTAMP = 1688215702
+SHA256 (mediawiki-1.40.0.tar.gz) = e9c4877718698f082d8096d8a9d16cd9aeb21ee1982a3d8b4603af7cfd158ad4
+SIZE (mediawiki-1.40.0.tar.gz) = 65441100
diff --git a/www/mediawiki140/files/pkg-message.in b/www/mediawiki140/files/pkg-message.in
new file mode 100644
index 000000000000..b05e89945b5f
--- /dev/null
+++ b/www/mediawiki140/files/pkg-message.in
@@ -0,0 +1,15 @@
+[
+{ type: install
+  message: <<EOM
+Remember to check
+
+%%MEDIAWIKIDIR%%/INSTALL
+
+and
+
+%%MEDIAWIKIDIR%%/UPGRADE
+
+for details
+EOM
+}
+]
diff --git a/www/mediawiki140/pkg-descr b/www/mediawiki140/pkg-descr
new file mode 100644
index 000000000000..88e2e7b358ef
--- /dev/null
+++ b/www/mediawiki140/pkg-descr
@@ -0,0 +1,4 @@
+MediaWiki is the collaborative editing software that runs Wikipedia,
+the free encyclopedia, and other projects.
+It's designed to handle a large number of users and pages without imposing
+too rigid a structure or workflow.