HomePhabricator

Merge "Use $wgExtensionDirectory instead of hardcoding $IP/extensions"

Authored by jenkins-bot on Apr 12 2016, 9:10 PM.

Description

Merge "Use $wgExtensionDirectory instead of hardcoding $IP/extensions"

Event Timeline

Gerrit Code Review <gerrit@wikimedia.org> committed rEABF1fdf7d0a4f7c: Merge "Use $wgExtensionDirectory instead of hardcoding $IP/extensions" (authored by jenkins-bot <jenkins-bot@gerrit.wikimedia.org>).Apr 12 2016, 9:10 PM

Merged Changes

CommitAuthorDetailsCommitted
5a5844b84099Kunal Mehta
Use $wgExtensionDirectory instead of hardcoding $IP/extensions 
Apr 12 2016