Last modified: 2013-04-22 16:17:09 UTC
Now that wgPostEdit is in core, we no longer need to roll out the PostEdit extension alongside GuidedTour.
Patch in gerrit: https://gerrit.wikimedia.org/r/#/c/56546/
Merged.require_once( "$IP/extensions/PostEdit/PostEdit.php" );