mirror of
https://github.com/doctrine/orm.git
synced 2026-03-23 22:42:18 +01:00
[PR #906] [MERGED] removed erroneous tip #8876
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/doctrine/orm/pull/906
Author: @KevinBrogan
Created: 1/11/2014
Status: ✅ Merged
Merged: 1/12/2014
Merged by: @Ocramius
Base:
master← Head:master📝 Commits (1)
5989c0cremoved erroneous tip📊 Changes
1 file changed (+0 additions, -2 deletions)
View changed files
📝
docs/en/tutorials/getting-started.rst(+0 -2)📄 Description
I'm working through the tutorial myself and got to this point.
Don’t forget to add a require_once call for this class to the bootstrap.php
This advice is wrong. The class is located in the src directory and so is autoloaded when required. No require statement is necessary.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.