Allow local customisation of "Edit site pages" list

[Richard Mansfield]

Sites with custom pages that have been added into the menu somewhere sometimes want to make the content editable by site admins, so it should be possible to add to the default list by defining a function in local/lib.php, along with appropriate language strings.

[Mahara Bot (dev-mahara)]

Reviewed: https://reviews.mahara.org/1213
Committed: http://gitorious.org/mahara/mahara/commit/831d4560c9210e7d0d839b56cc5e806a7a3267ac
Submitter: Hugh Davenport (<email address hidden>)
Branch: master

commit 831d4560c9210e7d0d839b56cc5e806a7a3267ac
Author: Richard Mansfield <email address hidden>
Date: Tue May 15 16:10:55 2012 +1200

    Allow local customisation of the "Edit site pages" list (bug #999464)

    Sites with custom pages that have been added into the menu somewhere
    sometimes want to make the content editable by site admins, so it
    should be possible to add to the default list by defining a function
    in local/lib.php, along with appropriate language strings.

    Change-Id: Ia62a6554963517bdc62a8263e855b2ef51c3b9bd
    Signed-off-by: Richard Mansfield <email address hidden>

[Hugh Davenport (hugh-davenport)]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

 status fixreleased
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.12 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/

iJwEAQECAAYFAlCbHO8ACgkQuMoJ2LQ3zxH8TAP/YN4BiCJZsn5a899/0UzV31Qg
lM8LXAwZWa6zFv6t0BQUHCqe6eFK9wPp51qgCWWXjUZ3vvvVcsyeWp6626aBFKSU
pCQXI9E7huPw802nJQ9WcZXRBUmgw87ww72Tx4mybnu7SPSrkZgXdnPGSMwDs89N
oWvTpl7Xuac48e6p0lU=
=ouU+
-----END PGP SIGNATURE-----