NEP17.cs: "ManifestExtra" compile Error

[GrumpyKitten81]

requires: using Neo.SmartContract.Framework.Attributes;

this problem is present in different code sections in the documentation, not just this file.

[GrumpyKitten81]

w.r.t. compilation with rev 3.1.0