Siebrand has submitted this change and it was merged. Change subject: Use __DIR__ instead of dirname( __FILE__ ) ......................................................................
Use __DIR__ instead of dirname( __FILE__ ) __DIR__ can be used as of PHP5.3 which the extension requires. Change-Id: Ie7d78c6ee7ee5770add361fd094142239ec4691e --- M Score.php 1 file changed, 5 insertions(+), 4 deletions(-) Approvals: Siebrand: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/22298 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ie7d78c6ee7ee5770add361fd094142239ec4691e Gerrit-PatchSet: 2 Gerrit-Project: mediawiki/extensions/Score Gerrit-Branch: master Gerrit-Owner: Hoo man <[email protected]> Gerrit-Reviewer: Hoo man <[email protected]> Gerrit-Reviewer: Siebrand <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
