From 360c34a5c65f78f4387e11c3c80aa4c5694257c5 Mon Sep 17 00:00:00 2001 From: stephan Date: Fri, 8 Jan 2010 13:15:38 +0000 Subject: [PATCH] import mediawiki-httpauth-0.1 This extension works with MediaWiki instances setup behind HTTP authentication. It pulls usernames from $_SERVER['PHP_AUTH_USER']. The extension will then either log the user on to MediaWiki if the user name exists in the database or create a new user if it does not. "ok with me" jasper@, "yeah hell import it" landry@ --- www/mediawiki-httpauth/Makefile | 34 ++++++++++++++++++++++++++++++ www/mediawiki-httpauth/distinfo | 5 +++++ www/mediawiki-httpauth/pkg/DESCR | 4 ++++ www/mediawiki-httpauth/pkg/MESSAGE | 11 ++++++++++ www/mediawiki-httpauth/pkg/PLIST | 2 ++ 5 files changed, 56 insertions(+) create mode 100644 www/mediawiki-httpauth/Makefile create mode 100644 www/mediawiki-httpauth/distinfo create mode 100644 www/mediawiki-httpauth/pkg/DESCR create mode 100644 www/mediawiki-httpauth/pkg/MESSAGE create mode 100644 www/mediawiki-httpauth/pkg/PLIST diff --git a/www/mediawiki-httpauth/Makefile b/www/mediawiki-httpauth/Makefile new file mode 100644 index 00000000000..6a1a8be3ffb --- /dev/null +++ b/www/mediawiki-httpauth/Makefile @@ -0,0 +1,34 @@ +# $OpenBSD: Makefile,v 1.1.1.1 2010/01/08 13:15:38 stephan Exp $ + +COMMENT = MediaWiki extension for http based authentication + +V = 0.1 +DISTNAME = mediawiki-httpauth-${V} +CATEGORIES = www + +MAINTAINER = Stephan A. Rickauer + +HOMEPAGE = http://www.mediawiki.org/wiki/Extension:HttpAuth +MASTER_SITES = http://github.com/oremj/mediawiki-http-auth/tarball/v${V}/ + +# Mozilla Public License 1.1 +PERMIT_PACKAGE_CDROM = Yes +PERMIT_PACKAGE_FTP = Yes +PERMIT_DISTFILES_CDROM =Yes +PERMIT_DISTFILES_FTP = Yes + +NO_BUILD = Yes +NO_REGRESS = Yes +PKG_ARCH = * + +PREFIX = /var/www +EXTENSIONSDIR = ${PREFIX}/mediawiki/extensions + +RUN_DEPENDS = :mediawiki->=1.13.2:www/mediawiki + +do-install: + ${INSTALL_DATA_DIR} ${EXTENSIONSDIR} + @mv ${WRKDIR}/oremj-mediawiki-http-auth-4be6b72/HttpAuthPlugin.php \ + ${EXTENSIONSDIR} + +.include diff --git a/www/mediawiki-httpauth/distinfo b/www/mediawiki-httpauth/distinfo new file mode 100644 index 00000000000..3504c278963 --- /dev/null +++ b/www/mediawiki-httpauth/distinfo @@ -0,0 +1,5 @@ +MD5 (mediawiki-httpauth-0.1.tar.gz) = +u4uFejdpI8Np+K19Bpcqw== +RMD160 (mediawiki-httpauth-0.1.tar.gz) = LlFGgwTeOT77hLKS3fyahdjMTxg= +SHA1 (mediawiki-httpauth-0.1.tar.gz) = UHCmAO3OohqGBokwfKuUEWWFyHM= +SHA256 (mediawiki-httpauth-0.1.tar.gz) = UaRiG+o33TT1mK9Tku124C6GDsHOJ94dmJ3UvEJfj0Y= +SIZE (mediawiki-httpauth-0.1.tar.gz) = 2664 diff --git a/www/mediawiki-httpauth/pkg/DESCR b/www/mediawiki-httpauth/pkg/DESCR new file mode 100644 index 00000000000..d640a4a9dc6 --- /dev/null +++ b/www/mediawiki-httpauth/pkg/DESCR @@ -0,0 +1,4 @@ +This extension works with MediaWiki instances setup behind HTTP +authentication. It pulls usernames from $_SERVER['PHP_AUTH_USER']. +The extension will then either log the user on to MediaWiki if the +user name exists in the database or create a new user if it does not. diff --git a/www/mediawiki-httpauth/pkg/MESSAGE b/www/mediawiki-httpauth/pkg/MESSAGE new file mode 100644 index 00000000000..7bc8d949508 --- /dev/null +++ b/www/mediawiki-httpauth/pkg/MESSAGE @@ -0,0 +1,11 @@ +edit LocalSettings.php and add: + + if ((!empty($_SERVER['PHP_AUTH_USER']) && + !empty($_SERVER['REMOTE_USER'])) || + $_COOKIE['fpwiki_en_UserID']) { + + require_once("$IP/extensions/HttpAuthPlugin.php"); + $wgAuth = new HttpAuthPlugin(); + $wgHooks['UserLoadFromSession'][] = + array($wgAuth,'autoAuthenticate'); + } diff --git a/www/mediawiki-httpauth/pkg/PLIST b/www/mediawiki-httpauth/pkg/PLIST new file mode 100644 index 00000000000..f799443bc62 --- /dev/null +++ b/www/mediawiki-httpauth/pkg/PLIST @@ -0,0 +1,2 @@ +@comment $OpenBSD: PLIST,v 1.1.1.1 2010/01/08 13:15:38 stephan Exp $ +mediawiki/extensions/HttpAuthPlugin.php