Updated mediawiki/extensions
Project: mediawiki/extensions/PageNotice  df4a508084562826b381575a312b2ea54d79ae09

Allow per-page notice functionality to be disabled

Apparently this is wanted - see bug 17426 comment 7.

Change-Id: I4a20268cf7e8096aa0f4bbfbe5cf6509cec9c6a3